public class SActionQuery extends java.lang.Object implements ActionQuery
Modifier and Type | Field and Description |
---|---|
protected PropositionalFormula |
formula |
protected java.util.Set<GroundingRequirement> |
requirements |
Constructor and Description |
---|
SActionQuery(PropositionalFormula formula)
Creates a new action query with the given propositional formula and no
grounding requirements.
|
SActionQuery(PropositionalFormula formula,
java.util.Set<GroundingRequirement> requirements)
Creates a new action query with the given propositional formula
and grounding requirements.
|
Modifier and Type | Method and Description |
---|---|
ActionSignature |
getActionSignature()
Returns the action signature of this action query.
|
java.util.Set<SActionQuery> |
getAllGrounded()
Returns the set of all grounded instances of this causal rule.
|
PropositionalFormula |
getFormula()
Returns the formula represented by this action query.
|
java.util.Set<GroundingRequirement> |
getGroundingRequirements()
Returns all grounding requirements, that have to be met, when this
action query is grounded.
|
java.util.Set<FolAction> |
getInnerActions()
Returns all actions, which occur in action sequences in necessarily
queries in this action query.
|
java.util.Set<FOLAtom> |
getInnerAtoms()
Returns all inner atoms, which occur in state formulas and actions in
this action query.
|
java.util.Set<FolFormula> |
getInnerFormulas()
Returns all inner formulas that are contained in query propositions
in this action query.
|
java.util.Set<Variable> |
getInnerVariables()
Returns all inner variables, which occur in state formulas and actions
in this action query.
|
Signature |
getSignature()
Returns the signature of the language of this formula.
|
protected SActionQuery |
substituteInnerFormulas(java.util.Map<Variable,Constant> map)
Returns a new action query in which all variables are mapped to constants
with regard to the given map.
|
private static PropositionalFormula |
substitutePropositions(java.util.Map<Variable,Constant> map,
PropositionalFormula formula)
Utility function that walks through all parts of a propositional formula
with query propositions substituting all variables with constants according
to the given map.
|
java.lang.String |
toString() |
protected PropositionalFormula formula
protected java.util.Set<GroundingRequirement> requirements
public SActionQuery(PropositionalFormula formula)
formula
- public SActionQuery(PropositionalFormula formula, java.util.Set<GroundingRequirement> requirements)
formula
- requirements
- public Signature getSignature()
Formula
getSignature
in interface Formula
public PropositionalFormula getFormula()
public ActionSignature getActionSignature()
public java.util.Set<FolFormula> getInnerFormulas()
public java.util.Set<FolAction> getInnerActions()
public java.util.Set<FOLAtom> getInnerAtoms()
public java.util.Set<Variable> getInnerVariables()
public java.util.Set<GroundingRequirement> getGroundingRequirements()
public java.util.Set<SActionQuery> getAllGrounded()
protected SActionQuery substituteInnerFormulas(java.util.Map<Variable,Constant> map)
map
- a map from variables to constants.private static PropositionalFormula substitutePropositions(java.util.Map<Variable,Constant> map, PropositionalFormula formula)
map
- a map from variables to constants.formula
- an action query.public java.lang.String toString()
toString
in class java.lang.Object