Class Summary |
Domain |
Klasse zur Repräsentation der Domäne einer Constraint-Variablen. |
DomainElement |
Abstrakte Klasse zur Repräsentation von einzelnen Werten einer Domäne
einer Constraint-Variable. |
IntervalDomain |
Klasse zur Repräsentation einer reellwertigen Intervalldomäne. |
IntervalDomainElement |
Klasse zur Repräsentation von einzelnen "Elementen" für reellwertige
Intervall-Domänen. |
NumericFDDomain |
Klasse zur Repräsentation einer finiten Integer-Domäne. |
NumericFDElement |
Klasse zur Repräsentation von einzelnen Elementen für numerische finite
Domänen. |
SymbolicFDDomain |
Klasse zur Repräsentation einer symbolischen finiten Domäne. |
SymbolicFDElement |
Klasse zur Repräsentation von einzelnen Elementen für symbolische finite
Domänen. |