VarsNeqRequirement (Tweety (Action and Change) 1.17 API)

java.lang.Object
- net.sf.tweety.action.grounding.VarsNeqRequirement

All Implemented Interfaces:

GroundingRequirement
```
public class VarsNeqRequirement
extends 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(net.sf.tweety.logics.commons.syntax.Variable first, net.sf.tweety.logics.commons.syntax.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 Summary

Modifier and Type	Method	Description
`boolean`	`equals(Object obj)`
`int`	`hashCode()`
`boolean`	`isValid(Map<net.sf.tweety.logics.commons.syntax.Variable,net.sf.tweety.logics.commons.syntax.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
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - VarsNeqRequirement
```
public VarsNeqRequirement(net.sf.tweety.logics.commons.syntax.Variable first,
                          net.sf.tweety.logics.commons.syntax.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.
    
    Parameters:
    
    first - a variable.
    
    second - another variable.
- Method Detail
  - isValid
```
public boolean isValid(Map<net.sf.tweety.logics.commons.syntax.Variable,net.sf.tweety.logics.commons.syntax.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