Uses of Class
com.articulate.sigma.trans.TPTP3ProofProcessor

Packages that use TPTP3ProofProcessor

Package	Description
com.articulate.sigma	Provides classes for the Sigma knowledge engineering environment version developed at Articulate Software Inc.
com.articulate.sigma.tp

Uses of TPTP3ProofProcessor in com.articulate.sigma

Methods in com.articulate.sigma that return TPTP3ProofProcessor

Modifier and Type	Method	Description
TPTP3ProofProcessor	KB.runProver(String[] args, int timeout)

Methods in com.articulate.sigma with parameters of type TPTP3ProofProcessor

Modifier and Type	Method	Description
static Map<String,Formula>	KB.collectSourceAxioms(KB kb, TPTP3ProofProcessor tpp)	Attempt to provide guidance on the likely cause of a contradiction by removing the axioms involved in a contradiction one-by-one and trying again.
static String	HTMLformatter.formatTPTP3ProofResult(TPTP3ProofProcessor tpp, String stmt, String lineHtml, String kbName, String language)	Create HTML formatted output for a TPTP3 proof

Uses of TPTP3ProofProcessor in com.articulate.sigma.tp

Fields in com.articulate.sigma.tp declared as TPTP3ProofProcessor

Modifier and Type	Field	Description
TPTP3ProofProcessor	GenPropFormulas.tpp