Serialized Form


Package yacs.domain

Class yacs.domain.Domain extends java.lang.Object implements Serializable

Serialized Fields

domain

java.util.TreeMap domain
Eine TreeMap in der die Elemente der Domäne sortiert abgelegt werden (müssen dafür das Interface Comparable implementieren). Der "Key" ist jeweils das Element selbst (Instanzen des Interface yacs.domain.DomainElement), der "Value" ist der Wert des Elements (DomainElement.getValue()).

Class yacs.domain.DomainElement extends java.lang.Object implements Serializable

Class yacs.domain.IntervalDomain extends Domain implements Serializable

Class yacs.domain.IntervalDomainElement extends DomainElement implements Serializable

Serialized Fields

value

net.sourceforge.interval.ia_math.RealInterval value
Der Wert dieses Elements.

Class yacs.domain.NumericFDDomain extends Domain implements Serializable

Class yacs.domain.NumericFDElement extends DomainElement implements Serializable

Serialized Fields

value

java.lang.Integer value
Der Wert dieses Elements.

Class yacs.domain.SymbolicFDDomain extends Domain implements Serializable

Class yacs.domain.SymbolicFDElement extends DomainElement implements Serializable

Serialized Fields

value

java.lang.String value
Der Wert dieses Elements.


Package yacs.parser

Class yacs.parser.BinaryOperator extends Expression implements Serializable

Serialized Fields

type

int type
Bezeichnet den Typ des Operators (vgl. yacs.parser.sym).


name

java.lang.String name
Der "Name" des Operators (für die Ausgabe mit toString()).


expr1

Expression expr1
Der erste Constraint-Ausdruck, auf den der Operator angewendet wird.


expr2

Expression expr2
Der zweite Constraint-Ausdruck, auf den der Operator angewendet wird.

Class yacs.parser.Constant extends Expression implements Serializable

Serialized Fields

element

DomainElement element
Die Belegung dieser Konstante.

Class yacs.parser.Expression extends java.lang.Object implements Serializable

Class yacs.parser.UnaryOperator extends Expression implements Serializable

Serialized Fields

type

int type
Bezeichnet den Typ des Operators (vgl. yacs.parser.sym).


name

java.lang.String name
Der "Name" des Operators (für die Ausgabe mit toString()).


expr

Expression expr
Der Constraint-Ausdruck, auf den der Operator angewendet wird.

Class yacs.parser.Variable extends Expression implements Serializable

Serialized Fields

name

java.lang.String name
Der Name der Variablen.


domain

Domain domain
Die zur Variablen zugehörige Domäne.


element

DomainElement element
Aktuelle Belegung der Variable.


signleton

boolean signleton
Singleton


Package yacs.exceptions

Class yacs.exceptions.ConstraintParserException extends java.lang.Exception implements Serializable

Class yacs.exceptions.InconsistencyException extends java.lang.Exception implements Serializable

Class yacs.exceptions.OnlyBinaryConstraintsAllowedException extends java.lang.Exception implements Serializable

Class yacs.exceptions.OnlyConsistencySolversAllowedException extends java.lang.Exception implements Serializable

Class yacs.exceptions.OnlyPreprocessingSolversAllowedException extends java.lang.Exception implements Serializable

Class yacs.exceptions.OnlySearchSolversAllowedException extends java.lang.Exception implements Serializable

Class yacs.exceptions.StrategyNotFoundException extends java.lang.Exception implements Serializable

Class yacs.exceptions.StrategyParserException extends java.lang.Exception implements Serializable

Class yacs.exceptions.VariableNotFoundException extends java.lang.Exception implements Serializable