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, the variables X and Y are required to have different values.
- Sebastian Homann
isValidThis method checks if an assignment of constants to variables satisfies a given grounding condition.
assignment- the assignment to be validated.
- true, if the assignment satisfies this requirement.