GroundingRequirement

All Known Implementing Classes:

VarConstNeqRequirement, VarsNeqRequirement
```
public interface GroundingRequirement
```
This is a common interface for grounding constraints, which have to be met by a grounder when calculating possible applications of constants to variables. Example: caused at(X) after go(X) && at(Y) requires X <> Y Here, variables X and Y are required to have different values.

Author:

Sebastian Homann

Method Summary

Modifier and Type	Method	Description
`boolean`	`isValid(java.util.Map<Variable,Constant> assignment)`	This method checks, if an assignment of constants to variables satisfies a given grounding condition.

- Method Detail
  - isValid
```
boolean isValid(java.util.Map<Variable,Constant> assignment)
```
    This method checks, if an assignment of constants to variables satisfies a given grounding condition.
    
    Parameters:
    
    assignment - the assignment to be validated.
    
    Returns:
    
    true, if the assignment satisfies this requirement.