Interface 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, the variables X and Y are required to have different values.
Author:
Sebastian Homann
  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    This method checks if an assignment of constants to variables satisfies a given grounding condition.
  • Method Details

    • isValid

      boolean isValid(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.