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