public class SActionQuery extends Object implements ActionQuery
| Modifier and Type | Field and Description |
|---|---|
protected net.sf.tweety.logics.pl.syntax.PropositionalFormula |
formula |
protected Set<GroundingRequirement> |
requirements |
| Constructor and Description |
|---|
SActionQuery(net.sf.tweety.logics.pl.syntax.PropositionalFormula formula)
Creates a new action query with the given propositional formula and no
grounding requirements.
|
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.
|
| Modifier and Type | Method and Description |
|---|---|
ActionSignature |
getActionSignature()
Returns the action signature of this action query.
|
Set<SActionQuery> |
getAllGrounded()
Returns the set of all grounded instances of this causal rule.
|
net.sf.tweety.logics.pl.syntax.PropositionalFormula |
getFormula()
Returns the formula represented by this action query.
|
Set<GroundingRequirement> |
getGroundingRequirements()
Returns all grounding requirements, that have to be met, when this
action query is grounded.
|
Set<FolAction> |
getInnerActions()
Returns all actions, which occur in action sequences in necessarily
queries in this action query.
|
Set<net.sf.tweety.logics.fol.syntax.FOLAtom> |
getInnerAtoms()
Returns all inner atoms, which occur in state formulas and actions in
this action query.
|
Set<net.sf.tweety.logics.fol.syntax.FolFormula> |
getInnerFormulas()
Returns all inner formulas that are contained in query propositions
in this action query.
|
Set<net.sf.tweety.logics.commons.syntax.Variable> |
getInnerVariables()
Returns all inner variables, which occur in state formulas and actions
in this action query.
|
net.sf.tweety.commons.Signature |
getSignature() |
protected SActionQuery |
substituteInnerFormulas(Map<net.sf.tweety.logics.commons.syntax.Variable,net.sf.tweety.logics.commons.syntax.Constant> map)
Returns a new action query in which all variables are mapped to constants
with regard to the given map.
|
String |
toString() |
protected net.sf.tweety.logics.pl.syntax.PropositionalFormula formula
protected Set<GroundingRequirement> requirements
public SActionQuery(net.sf.tweety.logics.pl.syntax.PropositionalFormula formula)
formula - public SActionQuery(net.sf.tweety.logics.pl.syntax.PropositionalFormula formula,
Set<GroundingRequirement> requirements)
formula - requirements - public net.sf.tweety.commons.Signature getSignature()
getSignature in interface net.sf.tweety.commons.Formulapublic net.sf.tweety.logics.pl.syntax.PropositionalFormula getFormula()
public ActionSignature getActionSignature()
public Set<net.sf.tweety.logics.fol.syntax.FolFormula> getInnerFormulas()
public Set<FolAction> getInnerActions()
public Set<net.sf.tweety.logics.fol.syntax.FOLAtom> getInnerAtoms()
public Set<net.sf.tweety.logics.commons.syntax.Variable> getInnerVariables()
public Set<GroundingRequirement> getGroundingRequirements()
public Set<SActionQuery> getAllGrounded()
protected SActionQuery substituteInnerFormulas(Map<net.sf.tweety.logics.commons.syntax.Variable,net.sf.tweety.logics.commons.syntax.Constant> map)
map - a map from variables to constants.Copyright © 2018. All rights reserved.