| Constructor and Description |
|---|
AssertionComplement(Assertion assertion) |
| Modifier and Type | Method and Description |
|---|---|
void |
accept(AssertionVisitor visitor) |
<O> O |
accept(AssertionVisitorEx<O> visitor) |
boolean |
equals(Object obj) |
Assertion |
getOperand() |
int |
hashCode() |
boolean |
holds(Set<? extends BindingNode> bindings,
ConstraintSystem constraintSystem)
Determines whether this Assertion is valid for the input bindings.
|
String |
toString() |
public AssertionComplement(Assertion assertion)
assertion - assertionpublic void accept(AssertionVisitor visitor)
public <O> O accept(AssertionVisitorEx<O> visitor)
public Assertion getOperand()
public boolean holds(Set<? extends BindingNode> bindings, ConstraintSystem constraintSystem)
AssertionCopyright © 2014 The University of Manchester. All Rights Reserved.