Uses of Interface
net.sf.tweety.action.grounding.GroundingRequirement

Packages that use GroundingRequirement

Package	Description
net.sf.tweety.action.description.syntax
net.sf.tweety.action.grounding
net.sf.tweety.action.grounding.parser
net.sf.tweety.action.query.syntax

Uses of GroundingRequirement in net.sf.tweety.action.description.syntax

Fields in net.sf.tweety.action.description.syntax with type parameters of type GroundingRequirement

Modifier and Type	Field and Description
protected Set<GroundingRequirement>	CLaw.requirements

Methods in net.sf.tweety.action.description.syntax with parameters of type GroundingRequirement

Modifier and Type	Method and Description
void	CLaw.addGroundingRequirement(GroundingRequirement c)

Constructor parameters in net.sf.tweety.action.description.syntax with type arguments of type GroundingRequirement

Constructor and Description
CLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula, net.sf.tweety.logics.fol.syntax.FolFormula ifFormula, Set<GroundingRequirement> requirements) Creates a causal law of the form caused headFormula if ifFormula requires requirements
CLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula, Set<GroundingRequirement> requirements) Creates a causal law of the form caused headFormula if True requires requirements
DynamicLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula, net.sf.tweety.logics.fol.syntax.FolFormula ifFormula, net.sf.tweety.logics.fol.syntax.FolFormula afterFormula, Set<GroundingRequirement> requirements) Creates a new dynamic law of the form: caused headFormula if ifFormula after afterFormula requires requirements
DynamicLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula, net.sf.tweety.logics.fol.syntax.FolFormula afterFormula, Set<GroundingRequirement> requirements) Creates a new dynamic law of the form caused headFormula after afterFormula requires requirements
StaticLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula, net.sf.tweety.logics.fol.syntax.FolFormula ifFormula, Set<GroundingRequirement> requirements) Creates an empty static law of the form caused headFormula if ifFormula requires requirements
StaticLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula, Set<GroundingRequirement> requirements) Creates an empty static law of the form caused headFormula if True requires requirements

Uses of GroundingRequirement in net.sf.tweety.action.grounding

Classes in net.sf.tweety.action.grounding that implement GroundingRequirement

Modifier and Type	Class and 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 net.sf.tweety.action.grounding with type arguments of type GroundingRequirement

Modifier and Type	Method and Description
static boolean	GroundingTools.isValidGroundingApplication(Map<net.sf.tweety.logics.commons.syntax.Variable,net.sf.tweety.logics.commons.syntax.Constant> map, Set<GroundingRequirement> requirements) Checks a grounding application for compliance with the grounding requirements.

Uses of GroundingRequirement in net.sf.tweety.action.grounding.parser

Methods in net.sf.tweety.action.grounding.parser that return GroundingRequirement

Modifier and Type	Method and Description
GroundingRequirement	GroundingRequirementsParser.parseRequirement(String s, Set<net.sf.tweety.logics.commons.syntax.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 net.sf.tweety.action.grounding.parser that return types with arguments of type GroundingRequirement

Modifier and Type	Method and Description
Set<GroundingRequirement>	GroundingRequirementsParser.parseRequirements(String s, Set<net.sf.tweety.logics.commons.syntax.Variable> variables) Parses a string of the following form: REQUIREMENT ("," REQUIREMENT)*

Uses of GroundingRequirement in net.sf.tweety.action.query.syntax

Fields in net.sf.tweety.action.query.syntax with type parameters of type GroundingRequirement

Modifier and Type	Field and Description
protected Set<GroundingRequirement>	SActionQuery.requirements

Methods in net.sf.tweety.action.query.syntax that return types with arguments of type GroundingRequirement

Modifier and Type	Method and Description
Set<GroundingRequirement>	SActionQuery.getGroundingRequirements() Returns all grounding requirements, that have to be met, when this action query is grounded.

Constructor parameters in net.sf.tweety.action.query.syntax with type arguments of type GroundingRequirement

Constructor and Description
SActionQuery(net.sf.tweety.logics.pl.syntax.PropositionalFormula formula, Set<GroundingRequirement> requirements) Creates a new action query with the given propositional formula and grounding requirements.