|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Package yacs.domain |
Class yacs.domain.Domain extends java.lang.Object implements Serializable |
Serialized Fields |
java.util.TreeMap domain
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 |
net.sourceforge.interval.ia_math.RealInterval value
Class yacs.domain.NumericFDDomain extends Domain implements Serializable |
Class yacs.domain.NumericFDElement extends DomainElement implements Serializable |
Serialized Fields |
java.lang.Integer value
Class yacs.domain.SymbolicFDDomain extends Domain implements Serializable |
Class yacs.domain.SymbolicFDElement extends DomainElement implements Serializable |
Serialized Fields |
java.lang.String value
Package yacs.parser |
Class yacs.parser.BinaryOperator extends Expression implements Serializable |
Serialized Fields |
int type
yacs.parser.sym
).
java.lang.String name
toString()
).
Expression expr1
Expression expr2
Class yacs.parser.Constant extends Expression implements Serializable |
Serialized Fields |
DomainElement element
Class yacs.parser.Expression extends java.lang.Object implements Serializable |
Class yacs.parser.UnaryOperator extends Expression implements Serializable |
Serialized Fields |
int type
yacs.parser.sym
).
java.lang.String name
toString()
).
Expression expr
Class yacs.parser.Variable extends Expression implements Serializable |
Serialized Fields |
java.lang.String name
Domain domain
DomainElement element
boolean signleton
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |