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 Summary

Constructors

Constructor

Description

VarConstNeqRequirement(Variable variable, Constant constant)

Creates a new grounding requirement expressing, that the variable given may not be set to the specific constant.
Method Summary

Modifier and Type

Method

Description

boolean

equals(Object obj)

int

hashCode()

boolean

isValid(Map<Variable,Constant> assignment)

This method checks if an assignment of constants to variables satisfies a given grounding condition.

String

toString()

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

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