Uses of Interface
dev.civl.sarl.preuniverse.IF.FactorySystem

Packages that use FactorySystem

Package	Description
dev.civl.sarl.preuniverse.IF	This package provides all of the functionality of a symbolic universe except reasoning.

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

Methods in dev.civl.sarl.preuniverse.IF that return FactorySystem

Modifier and Type	Method	Description
static FactorySystem	PreUniverses.newFactorySystem(ObjectFactory objectFactory, SymbolicTypeFactory typeFactory, ExpressionFactory expressionFactory)
static FactorySystem	PreUniverses.newHerbrandFactorySystem()
static FactorySystem	PreUniverses.newIdealFactorySystem()

Methods in dev.civl.sarl.preuniverse.IF with parameters of type FactorySystem

Modifier and Type	Method	Description
static PreUniverse	PreUniverses.newPreUniverse(FactorySystem system)