Package org.tweetyproject.action.grounding

package org.tweetyproject.action.grounding

Related Packages

Package	Description
org.tweetyproject.action.grounding.parser

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