Package net.sf.tweety.action.grounding
Class VarsNeqRequirement
- java.lang.Object
-
- net.sf.tweety.action.grounding.VarsNeqRequirement
-
- All Implemented Interfaces:
GroundingRequirement
public class VarsNeqRequirement extends java.lang.Object implements GroundingRequirement
This class represents a single grounding requirement stating that two variables are not allowed to be substituted by the same constant.- Author:
- Sebastian Homann
-
-
Constructor Summary
Constructors Constructor 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.
-
-
-
Method Detail
-
isValid
public boolean isValid(java.util.Map<Variable,Constant> assignment)
Description copied from interface:GroundingRequirement
This method checks, if an assignment of constants to variables satisfies a given grounding condition.- Specified by:
isValid
in interfaceGroundingRequirement
- Parameters:
assignment
- the assignment to be validated.- Returns:
- true, if the assignment satisfies this requirement.
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-