Uses of Class
com.articulate.sigma.tp.EProver
Packages that use EProver
Package
Description
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 EProverMethods in com.articulate.sigma that return EProverModifier and TypeMethodDescriptionKB.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