Uses of Package
dev.civl.sarl.prove.IF

Packages that use dev.civl.sarl.prove.IF

Package	Description
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
dev.civl.sarl.prove.IF	Module "prove" constitutes the interface between SARL and (possibly external) theorem provers.
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.

Classes in dev.civl.sarl.prove.IF used by dev.civl.sarl.IF

Class	Description
ProverFunctionInterpretation	A data structure that represents the interpretation of a invalid reference LogicFunction .

Classes in dev.civl.sarl.prove.IF used by dev.civl.sarl.prove.IF

Class	Description
ProverFunctionInterpretation	A data structure that represents the interpretation of a invalid reference LogicFunction .
TheoremProver	Provides an abstract interface for an automated theorem prover operating under a fixed context (i.e., a boolean expression assumed to hold).
TheoremProverFactory	A factory for producing instances of TheoremProver.

Classes in dev.civl.sarl.prove.IF used by dev.civl.sarl.reason.IF

Class	Description
ProverFunctionInterpretation	A data structure that represents the interpretation of a invalid reference LogicFunction .
TheoremProverFactory	A factory for producing instances of TheoremProver.