public class VarsNeqRequirement extends java.lang.Object implements GroundingRequirement
Modifier and Type | Field and Description |
---|---|
private Variable |
first |
private Variable |
second |
Constructor and Description |
---|
VarsNeqRequirement(Variable first,
Variable second)
Creates a new grounding requirement for the two given variables that are
not allowed to be set to the same constant in one ground instance.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
int |
hashCode() |
boolean |
isValid(java.util.Map<Variable,Constant> assignment)
This method checks, if an assignment of constants to variables satisfies a
given grounding condition.
|
java.lang.String |
toString() |
public boolean isValid(java.util.Map<Variable,Constant> assignment)
GroundingRequirement
isValid
in interface GroundingRequirement
assignment
- the assignment to be validated.public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object