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 and 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.