Uses of Interface
dev.civl.sarl.IF.CoreUniverse

Packages that use CoreUniverse

Package	Description
dev.civl.sarl.IF	This package and its subpackages provide the "public interface" to SARL.
dev.civl.sarl.preuniverse.IF	This package provides all of the functionality of a symbolic universe except reasoning.

Uses of CoreUniverse in dev.civl.sarl.IF

Subinterfaces of CoreUniverse in dev.civl.sarl.IF

Modifier and Type	Interface	Description
interface	SymbolicUniverse	A symbolic universe is used for the creation and manipulation of SymbolicObjects.

Uses of CoreUniverse in dev.civl.sarl.preuniverse.IF

Subinterfaces of CoreUniverse in dev.civl.sarl.preuniverse.IF

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