Module dev.civl.sarl

Package dev.civl.sarl.preuniverse.IF

package dev.civl.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