Package org.tweetyproject.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, the variables X and Y are required to have different values.

Author:

Sebastian Homann

Method Summary

Modifier and Type	Method	Description
boolean	isValid(Map<Variable,Constant> assignment)	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.