public abstract class QueryProposition extends Proposition
Atom.AtomImpl, Atom.RETURN_SET_PREDICATE
Modifier and Type | Field and Description |
---|---|
protected FolFormula |
formula |
Constructor and Description |
---|
QueryProposition(FolFormula formula,
java.lang.String name)
Creates a new query proposition with the given formula and a unique name,
which is used by the base class.
|
Modifier and Type | Method and Description |
---|---|
ActionSignature |
getActionSignature()
Returns a new action signature containing all symbols of the inner formula
of this proposition.
|
abstract java.util.Set<FolAction> |
getInnerActions()
Returns the set of all actions contained in this query proposition.
|
FolFormula |
getInnerFormula()
Returns the inner formula of this query proposition, e.g.
|
abstract java.util.Set<Variable> |
getVariables()
Returns all variables occuring in inner formulas and actions of this query
proposition.
|
abstract 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.
|
abstract java.lang.String |
toString() |
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
protected FolFormula formula
public QueryProposition(FolFormula formula, java.lang.String name)
formula
- a state formula.name
- a unique name.public FolFormula getInnerFormula()
public ActionSignature getActionSignature()
public abstract java.util.Set<FolAction> getInnerActions()
public abstract QueryProposition substitute(java.util.Map<? extends Term<?>,? extends Term<?>> map)
map
- a map from variables to constants.public abstract java.lang.String toString()
toString
in class Proposition
public abstract java.util.Set<Variable> getVariables()