public class VarConstNeqRequirement extends java.lang.Object implements GroundingRequirement
Modifier and Type | Field and Description |
---|---|
private Constant |
constant |
private Variable |
variable |
Constructor and Description |
---|
VarConstNeqRequirement(Variable variable,
Constant constant)
Creates a new grounding requirement expressing, that the variable given may
not be set to the specific constant.
|
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