Uses of Class
com.articulate.sigma.tp.EProver

Packages that use EProver

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 EProver in com.articulate.sigma

Fields in com.articulate.sigma declared as EProver

Modifier and Type	Field	Description
EProver	KB.eprover	Eprover inference engine process for this KB.

Methods in com.articulate.sigma that return EProver

Modifier and Type	Method	Description
EProver	KB.askEProver(String suoKifFormula, int timeout, int maxAnswers)	Submits a query to the E inference engine.

Uses of EProver in com.articulate.sigma.tp

Methods in com.articulate.sigma.tp with parameters of type EProver

Modifier and Type	Method	Description
boolean	EProver.assertFormula(String userAssertionTPTP, KB kb, EProver eprover, List<Formula> parsedFormulas, boolean tptp)	Add an assertion for inference.