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 |
Modifier and Type | Field and Description |
---|---|
protected java.util.Set<GroundingRequirement> |
CLaw.requirements |
Modifier and Type | Method and Description |
---|---|
void |
CLaw.addGroundingRequirement(GroundingRequirement c) |
Modifier and Type | Method and Description |
---|---|
private void |
CLaw.setGroundingRequirements(java.util.Set<GroundingRequirement> requirements) |
Constructor and Description |
---|
CLaw(FolFormula headFormula,
FolFormula ifFormula,
java.util.Set<GroundingRequirement> requirements)
Creates a causal law of the form caused headFormula if ifFormula requires
requirements
|
CLaw(FolFormula headFormula,
java.util.Set<GroundingRequirement> requirements)
Creates a causal law of the form caused headFormula if True 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
|
DynamicLaw(FolFormula headFormula,
FolFormula afterFormula,
java.util.Set<GroundingRequirement> requirements)
Creates a new dynamic law of the form caused headFormula after
afterFormula 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
|
StaticLaw(FolFormula headFormula,
java.util.Set<GroundingRequirement> requirements)
Creates an empty static law of the form caused headFormula if True
requires requirements
|
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.
|
Modifier and Type | Method and 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.
|
Modifier and Type | Method and 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.
|
Modifier and Type | Method and 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)*
|
Modifier and Type | Field and Description |
---|---|
protected java.util.Set<GroundingRequirement> |
SActionQuery.requirements |
Modifier and Type | Method and Description |
---|---|
java.util.Set<GroundingRequirement> |
SActionQuery.getGroundingRequirements()
Returns all grounding requirements, that have to be met, when this
action query is grounded.
|
Constructor and Description |
---|
SActionQuery(PropositionalFormula formula,
java.util.Set<GroundingRequirement> requirements)
Creates a new action query with the given propositional formula
and grounding requirements.
|