public class NecessarilyQuery extends QueryProposition
Atom.AtomImpl, Atom.RETURN_SET_PREDICATE
Modifier and Type | Field and Description |
---|---|
private java.util.List<FolAction> |
actions |
formula
Constructor and Description |
---|
NecessarilyQuery(FolFormula formula)
Creates a new necessarily query with an empty action sequence.
|
NecessarilyQuery(FolFormula formula,
FolAction action)
Creates a new necessarily query with the given inner formula and a single
action.
|
NecessarilyQuery(FolFormula formula,
java.util.List<FolAction> actions)
Creates a new necessarily query with the given inner formula and list of
actions.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<FolAction> |
getActions()
Returns the list of actions of this necessarily query in the correct order.
|
ActionSignature |
getActionSignature()
Returns a new action signature containing all symbols of the inner formula
of this proposition.
|
java.util.Set<FolAction> |
getInnerActions()
Returns the set of all actions contained in this query proposition.
|
java.util.Set<Variable> |
getVariables()
Returns all variables occuring in inner formulas and actions of this query
proposition.
|
QueryProposition |
substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
Returns a new query proposition of the same type, in which all variables in
inner formulas and actions are replaced according to the given map.
|
java.lang.String |
toString() |
getInnerFormula
addArgument, clone, collapseAssociativeFormulas, compareTo, equals, getArguments, getAtoms, getLiterals, getModels, getName, getPredicate, getPredicates, getSignature, hashCode, isComplete, isLiteral, numberOfOccurrences, replace, setPredicate, toCnf, toNnf, trim
combineWithAnd, combineWithOr, complement, getModels, getPredicateCls, getPrimeImplicants, getUniformProbability, isConjunctiveClause, resolvableWith, resolveWith, toBlakeCanonicalForm, toDnf
finalize, getClass, notify, notifyAll, wait, wait, wait
getPredicateCls
private java.util.List<FolAction> actions
public NecessarilyQuery(FolFormula formula)
formula
- the inner formula of this query.public NecessarilyQuery(FolFormula formula, java.util.List<FolAction> actions)
formula
- the inner formula of this necessarily query.actions
- the action sequence of this necessarily query.public NecessarilyQuery(FolFormula formula, FolAction action)
formula
- the inner formula of this necessarily query.action
- a single action.public java.util.List<FolAction> getActions()
public ActionSignature getActionSignature()
QueryProposition
getActionSignature
in class QueryProposition
public QueryProposition substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
QueryProposition
substitute
in class QueryProposition
map
- a map from variables to constants.public java.util.Set<FolAction> getInnerActions()
QueryProposition
getInnerActions
in class QueryProposition
public java.util.Set<Variable> getVariables()
QueryProposition
getVariables
in class QueryProposition
public java.lang.String toString()
toString
in class QueryProposition