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

Class Ideal

java.lang.Object

edu.udel.cis.vsl.sarl.ideal.IF.Ideal

public class Ideal
extends Object

Entry point for the ideal module, providing static methods to create an IdealFactory and a SimplifierFactory.

Constructor Summary

Constructors

Constructor	Description
Ideal()

Method Summary

Modifier and Type	Method	Description
static IdealFactory	newIdealFactory(NumberFactory numberFactory, ObjectFactory objectFactory, SymbolicTypeFactory typeFactory, BooleanExpressionFactory booleanFactory)	Creates a new ideal factory based on the given factories.

Methods inherited from class java.lang.Object

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

Constructor Details

Ideal

public Ideal()

Method Details

newIdealFactory

public static IdealFactory newIdealFactory(NumberFactory numberFactory,
 ObjectFactory objectFactory,
 SymbolicTypeFactory typeFactory,
 BooleanExpressionFactory booleanFactory)

Creates a new ideal factory based on the given factories. /** Constructs new factory based on the given factories.

Parameters:

numberFactory - the number factory used by the ideal factory to create and manipulate infinite-precision concrete integer and rational numbers, instances of Number, IntegerNumber, and RationalNumber

objectFactory - the object factory used by the ideal factory to manipulate symbolic objects, instances of SymbolicObject.

typeFactory - the symbolic type factory used by the ideal factory to create and manipulate symbolic types, instances of SymbolicType

booleanFactory - the boolean expression factory used by the ideal factory to create and manipulate boolean expressions, instances of BooleanExpression

Returns:

a new IdealFactory based on the given factories