Uses of Interface
dev.civl.sarl.reason.IF.ReasonerFactory

Packages that use ReasonerFactory

Package	Description
dev.civl.sarl.reason.IF	The internal interface for the "reason" module, which deals with Reasoners --- objects used to prove theorems and simplify symbolic expressions.

Uses of ReasonerFactory in dev.civl.sarl.reason.IF

Methods in dev.civl.sarl.reason.IF that return ReasonerFactory

Modifier and Type	Method	Description
static ReasonerFactory	Reason.newReasonerFactory(PreUniverse universe, IdealFactory idealFactory, TheoremProverFactory proverFactory)	Create a reasoner factory