public abstract class QueryProposition
extends net.sf.tweety.logics.pl.syntax.Proposition
| Modifier and Type | Field and Description |
|---|---|
protected net.sf.tweety.logics.fol.syntax.FolFormula |
formula |
| Constructor and Description |
|---|
QueryProposition(net.sf.tweety.logics.fol.syntax.FolFormula formula,
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 Set<FolAction> |
getInnerActions()
Returns the set of all actions contained in this query proposition.
|
net.sf.tweety.logics.fol.syntax.FolFormula |
getInnerFormula()
Returns the inner formula of this query proposition, e.g.
|
abstract Set<net.sf.tweety.logics.commons.syntax.Variable> |
getVariables()
Returns all variables occuring in inner formulas and actions of this query
proposition.
|
abstract QueryProposition |
substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.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 String |
toString() |
addArgument, clone, collapseAssociativeFormulas, compareTo, equals, getArguments, getAtoms, getLiterals, getModels, getName, getPredicate, getPredicates, getSignature, hashCode, isComplete, isLiteral, numberOfOccurrences, replace, setPredicate, toCnf, toNnf, trimcombineWithAnd, combineWithOr, complement, getModels, getPredicateCls, getPrimeImplicants, getUniformProbability, isConjunctiveClause, resolvableWith, resolveWith, toBlakeCanonicalForm, toDnfpublic QueryProposition(net.sf.tweety.logics.fol.syntax.FolFormula formula,
String name)
formula - a state formula.name - a unique name.public net.sf.tweety.logics.fol.syntax.FolFormula getInnerFormula()
public ActionSignature getActionSignature()
public abstract Set<FolAction> getInnerActions()
public abstract QueryProposition substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> map)
map - a map from variables to constants.public abstract String toString()
toString in class net.sf.tweety.logics.pl.syntax.Propositionpublic abstract Set<net.sf.tweety.logics.commons.syntax.Variable> getVariables()
Copyright © 2018. All rights reserved.