| Package | Description |
|---|---|
| edu.uta.cse.fireeye.common |
| Modifier and Type | Method and Description |
|---|---|
java.util.ArrayList<Constraint> |
SUT.getConstraints()
Gets the constraints in this SUT.
|
| Modifier and Type | Method and Description |
|---|---|
void |
SUT.addConstraint(Constraint constraint)
Adds a constraint into this SUT.
|