Package net.sf.tweety.action.grounding

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

    • Method Summary

      Modifier and Type Method Description
      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.

    • Method Detail

      • isValid

        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.
        Parameters:
        assignment - the assignment to be validated.
        Returns:
        true, if the assignment satisfies this requirement.