Class VarConstNeqRequirement

java.lang.Object
org.tweetyproject.action.grounding.VarConstNeqRequirement
All Implemented Interfaces:
GroundingRequirement

public class VarConstNeqRequirement extends Object implements GroundingRequirement
This class represents a single grounding requirement stating that a variable is not allowed to be substituted by a specific constant.
Author:
Sebastian Homann
  • Constructor Details

    • VarConstNeqRequirement

      public VarConstNeqRequirement(Variable variable, Constant constant)
      Creates a new grounding requirement expressing, that the variable given may not be set to the specific constant.
      Parameters:
      variable - a variable.
      constant - a constant.
  • Method Details

    • isValid

      public boolean isValid(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 interface GroundingRequirement
      Parameters:
      assignment - the assignment to be validated.
      Returns:
      true, if the assignment satisfies this requirement.
    • equals

      public boolean equals(Object obj)
      Overrides:
      equals in class Object
    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object
    • toString

      public String toString()
      Overrides:
      toString in class Object