Uses of Interface org.tweetyproject.action.grounding.GroundingRequirement

Packages that use GroundingRequirement
Package	Description
org.tweetyproject.action.description.syntax
org.tweetyproject.action.grounding
org.tweetyproject.action.grounding.parser
org.tweetyproject.action.query.syntax

Uses of GroundingRequirement in org.tweetyproject.action.description.syntax

Methods in org.tweetyproject.action.description.syntax with parameters of type GroundingRequirement
Modifier and Type	Method	Description
`void`	CLaw.`addGroundingRequirement(GroundingRequirement c)`

Constructor parameters in org.tweetyproject.action.description.syntax with type arguments of type GroundingRequirement
Constructor	Description
`CLaw(FolFormula headFormula, java.util.Set<GroundingRequirement> requirements)`	Creates a causal law of the form "caused headFormula if True requires requirements"
`CLaw(FolFormula headFormula, FolFormula ifFormula, java.util.Set<GroundingRequirement> requirements)`	Creates a causal law of the form "caused headFormula if ifFormula requires requirements"
`DynamicLaw(FolFormula headFormula, FolFormula afterFormula, java.util.Set<GroundingRequirement> requirements)`	Creates a new dynamic law of the form "caused headFormula after afterFormula" requires requirements
`DynamicLaw(FolFormula headFormula, FolFormula ifFormula, FolFormula afterFormula, java.util.Set<GroundingRequirement> requirements)`	Creates a new dynamic law of the form: "caused headFormula if ifFormula after afterFormula requires requirements"
`StaticLaw(FolFormula headFormula, java.util.Set<GroundingRequirement> requirements)`	Creates an empty static law of the form "caused headFormula if True requires requirements"
`StaticLaw(FolFormula headFormula, FolFormula ifFormula, java.util.Set<GroundingRequirement> requirements)`	Creates an empty static law of the form "caused headFormula if ifFormula" requires requirements

Uses of GroundingRequirement in org.tweetyproject.action.grounding

Classes in org.tweetyproject.action.grounding that implement GroundingRequirement
Modifier and Type	Class	Description
`class`	`VarConstNeqRequirement`	This class represents a single grounding requirement stating that a variable is not allowed to be substituted by a specific constant.
`class`	`VarsNeqRequirement`	This class represents a single grounding requirement stating that two variables are not allowed to be substituted by the same constant.

Method parameters in org.tweetyproject.action.grounding with type arguments of type GroundingRequirement
Modifier and Type	Method	Description
`static boolean`	GroundingTools.`isValidGroundingApplication(java.util.Map<Variable,Constant> map, java.util.Set<GroundingRequirement> requirements)`	Checks a grounding application for compliance with the grounding requirements.

Uses of GroundingRequirement in org.tweetyproject.action.grounding.parser

Methods in org.tweetyproject.action.grounding.parser that return GroundingRequirement
Modifier and Type	Method	Description
`GroundingRequirement`	GroundingRequirementsParser.`parseRequirement(java.lang.String s, java.util.Set<Variable> variables)`	Parses a string of the following form: (VARIABLENAME "<>" VARIABLENAME \| VARIABLENAME "<>" CONSTANTNAME) where the constant CONSTANTNAME has to be of the same sort as the variable VARIABLENAME.

Methods in org.tweetyproject.action.grounding.parser that return types with arguments of type GroundingRequirement
Modifier and Type	Method	Description
`java.util.Set<GroundingRequirement>`	GroundingRequirementsParser.`parseRequirements(java.lang.String s, java.util.Set<Variable> variables)`	Parses a string of the following form: REQUIREMENT ("," REQUIREMENT)*

Uses of GroundingRequirement in org.tweetyproject.action.query.syntax

Methods in org.tweetyproject.action.query.syntax that return types with arguments of type GroundingRequirement
Modifier and Type	Method	Description
`java.util.Set<GroundingRequirement>`	SActionQuery.`getGroundingRequirements()`	Returns all grounding requirements, that have to be met, when this action query is grounded.

Constructor parameters in org.tweetyproject.action.query.syntax with type arguments of type GroundingRequirement
Constructor	Description
`SActionQuery(PlFormula formula, java.util.Set<GroundingRequirement> requirements)`	Creates a new action query with the given propositional formula and grounding requirements.