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

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

Package	Description
dev.civl.sarl.preuniverse.IF	This package provides all of the functionality of a symbolic universe except reasoning.
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.
dev.civl.sarl.simplify.IF	Interfaces for the simplification of symbolic expressions.

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

Class	Description
FactorySystem
PreUniverse	A PreUniverse provides most of the services of a SymbolicUniverse, but not those that require reasoning, specifically theorem proving and simplification.

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

Class	Description
PreUniverse	A PreUniverse provides most of the services of a SymbolicUniverse, but not those that require reasoning, specifically theorem proving and simplification.

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

Class	Description
PreUniverse	A PreUniverse provides most of the services of a SymbolicUniverse, but not those that require reasoning, specifically theorem proving and simplification.

Classes in dev.civl.sarl.preuniverse.IF used by dev.civl.sarl.simplify.IF

Class	Description
PreUniverse	A PreUniverse provides most of the services of a SymbolicUniverse, but not those that require reasoning, specifically theorem proving and simplification.