public class HoldsQuery extends QueryProposition
Atom.AtomImpl, Atom.RETURN_SET_PREDICATE
formula
Constructor and Description |
---|
HoldsQuery(FolFormula formula)
Creates a new holds query with the given inner formula.
|
Modifier and Type | Method and Description |
---|---|
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() |
getActionSignature, 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
public HoldsQuery(FolFormula formula)
formula
- the inner formula of this newly created holds query.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.lang.String toString()
toString
in class QueryProposition
public java.util.Set<FolAction> getInnerActions()
QueryProposition
getInnerActions
in class QueryProposition
public java.util.Set<Variable> getVariables()
QueryProposition
getVariables
in class QueryProposition