Module dev.civl.sarl

Package dev.civl.sarl.preuniverse.IF

Class PreUniverses

java.lang.Object

dev.civl.sarl.preuniverse.IF.PreUniverses

public class PreUniverses
extends Object

Constructor Summary

Constructors

Constructor	Description
PreUniverses()

Method Summary

Modifier and Type	Method	Description
static FactorySystem	newFactorySystem(ObjectFactory objectFactory, SymbolicTypeFactory typeFactory, ExpressionFactory expressionFactory)
static FactorySystem	newHerbrandFactorySystem()
static FactorySystem	newIdealFactorySystem()
static PreUniverse	newPreUniverse(FactorySystem system)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PreUniverses

public PreUniverses()

Method Details

newFactorySystem

public static FactorySystem newFactorySystem(ObjectFactory objectFactory,
 SymbolicTypeFactory typeFactory,
 ExpressionFactory expressionFactory)

newIdealFactorySystem

public static FactorySystem newIdealFactorySystem()

newHerbrandFactorySystem

public static FactorySystem newHerbrandFactorySystem()

newPreUniverse

public static PreUniverse newPreUniverse(FactorySystem system)