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
Methods in net.sf.tweety.action.description.syntax with parameters of type GroundingRequirement Modifier and Type Method Description void
CLaw. addGroundingRequirement(GroundingRequirement c)
Constructor parameters in net.sf.tweety.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 requirementsCLaw(FolFormula headFormula, FolFormula ifFormula, java.util.Set<GroundingRequirement> requirements)
Creates a causal law of the form caused headFormula if ifFormula requires requirementsDynamicLaw(FolFormula headFormula, FolFormula afterFormula, java.util.Set<GroundingRequirement> requirements)
Creates a new dynamic law of the form caused headFormula after afterFormula requires requirementsDynamicLaw(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 requirementsStaticLaw(FolFormula headFormula, java.util.Set<GroundingRequirement> requirements)
Creates an empty static law of the form caused headFormula if True requires requirementsStaticLaw(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 net.sf.tweety.action.grounding
Classes in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.action.grounding.parser
Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.action.query.syntax
Methods in net.sf.tweety.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 net.sf.tweety.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.
-