public class ExistentialsMap
extends java.lang.Object
Constructor and Description |
---|
ExistentialsMap() |
Modifier and Type | Method and Description |
---|---|
void |
addConstraint(ExistentialConstraint constraint) |
java.util.ArrayList<ExistentialConstraint> |
getConstraints() |
void |
setConstraints(java.util.ArrayList<ExistentialConstraint> constraints) |
public void addConstraint(ExistentialConstraint constraint)
public java.util.ArrayList<ExistentialConstraint> getConstraints()
public void setConstraints(java.util.ArrayList<ExistentialConstraint> constraints)