Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

# 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

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES