Uses of Interface
dev.civl.sarl.prove.IF.TheoremProver

Packages that use TheoremProver

Package	Description
dev.civl.sarl.prove.IF	Module "prove" constitutes the interface between SARL and (possibly external) theorem provers.

Uses of TheoremProver in dev.civl.sarl.prove.IF

Methods in dev.civl.sarl.prove.IF that return TheoremProver

Modifier and Type	Method	Description
TheoremProver	TheoremProverFactory.newProver(BooleanExpression context)	Returns a new instance of TheoremProver with the given context.
TheoremProver	TheoremProverFactory.newProver(BooleanExpression context, ProverFunctionInterpretation[] logicFunctions)	Returns a new instance of TheoremProver with the given context.