Uses of Class
com.articulate.sigma.TPTP3ProofProcessor

Packages that use TPTP3ProofProcessor

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

Uses of TPTP3ProofProcessor in com.articulate.sigma

Methods in com.articulate.sigma that return TPTP3ProofProcessor

Modifier and Type	Method and Description
static TPTP3ProofProcessor	TPTP3ProofProcessor.parseProofOutput(ArrayList<String> lines, KB kb) Compute binding and proof from E's response
static TPTP3ProofProcessor	TPTP3ProofProcessor.parseProofOutput(LineNumberReader lnr, KB kb) Compute bindings and proof from E's response
static TPTP3ProofProcessor	TPTP3ProofProcessor.parseProofOutput(String st, KB kb)

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

Modifier and Type	Method and Description
static void	TPTP3ProofProcessor.findTypesForSkolemTerms(TPTP3ProofProcessor tpp, KB kb) Return the most specific type for skolem variable.
static String	HTMLformatter.formatTPTP3ProofResult(TPTP3ProofProcessor tpp, String stmt, String lineHtml, String kbName, String language)