|
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. |