public class ConstraintsSet extends UndMenge<Pair>
| Constructor and Description |
|---|
ConstraintsSet() |
| Modifier and Type | Method and Description |
|---|---|
void |
add(ConstraintsSet CSet) |
void |
add(KomplexeMenge<Pair> constraint) |
private Menge<UndConstraint> |
filterUndConstraints()
Aus dem ConstraintsSet [ u1, u2, ...
|
void |
filterWrongConstraints(Unifier unify)
Liefert alle Constraint-Variationen
|
void |
unifyUndConstraints(Unifier unifier)
Nimmt alle UndConstraints und filtert mithilfe dieser die falschen Constraints aus den OderConstraints
|
addItem, addItems, cartesianProduct, getAndSets, getItems, getOrSets, toStringprivate static final Logger log
public void add(ConstraintsSet CSet)
public void add(KomplexeMenge<Pair> constraint)
public void filterWrongConstraints(Unifier unify)
public void unifyUndConstraints(Unifier unifier)
unifier - private Menge<UndConstraint> filterUndConstraints()