Uses of Class
com.articulate.sigma.EProver

Packages that use EProver

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

Uses of EProver in com.articulate.sigma

Fields in com.articulate.sigma declared as EProver

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

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

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