Package net.sf.tweety.action.grounding
-
Interface Summary Interface Description 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. -
Class Summary Class Description GroundingTools This class holds common grounding functionality for causal theories using first-order formulas.VarConstNeqRequirement This class represents a single grounding requirement stating that a variable is not allowed to be substituted by a specific constant.VarsNeqRequirement This class represents a single grounding requirement stating that two variables are not allowed to be substituted by the same constant.