Package edu.udel.cis.vsl.sarl.preuniverse.IF

package edu.udel.cis.vsl.sarl.preuniverse.IF

This package provides all of the functionality of a symbolic universe except reasoning.

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.
PreUniverses