OderConstraint

java.lang.Object
- de.dhbwstuttgart.typeinference.constraints.OderMenge<Pair>
- - de.dhbwstuttgart.typeinference.constraints.OderConstraint

public class OderConstraint
extends OderMenge<Pair>

Fields
Modifier and Type	Field and Description
`private static Logger`	`logger`

Constructors
Constructor and Description
`OderConstraint()`
`OderConstraint(ConstraintType p1, ConstraintType p2)` Erstellt ein neues Oder Constraint und fÃ¼gt bereits ein Constraint hinzu.

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`addConstraint(ConstraintPair toAdd)` Falls die Type des toAdd-Pairs nicht vom Typ RefType bzw.
`void`	`addConstraint(ConstraintType p1, ConstraintType p2)` FÃ¼gt ein Pair(p1, p2) dem Constraint hinzu
`void`	`addConstraint(UndConstraint methodConstraint)`
`(package private) UndConstraint`	`filterUndConstraints()`
`(package private) void`	`filterWrongConstraints(Unifier unifier)`

Methods inherited from class de.dhbwstuttgart.typeinference.OderMenge
addItem, addItems, cartesianProduct, getAndSets, getItems, getOrSets

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public void addConstraint(ConstraintType p1,
                          ConstraintType p2)

FÃ¼gt ein Pair(p1, p2) dem Constraint hinzu

public void addConstraint(UndConstraint methodConstraint)

void filterWrongConstraints(Unifier unifier)

Class OderConstraint