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