public abstract class ModalFormula
extends net.sf.tweety.logics.fol.syntax.FolFormula
| Constructor and Description |
|---|
ModalFormula(net.sf.tweety.logics.commons.syntax.RelationalFormula formula) |
| Modifier and Type | Method and Description |
|---|---|
net.sf.tweety.logics.fol.syntax.Conjunction |
combineWithAnd(net.sf.tweety.logics.commons.syntax.interfaces.Conjuctable f) |
net.sf.tweety.logics.fol.syntax.Disjunction |
combineWithOr(net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable f) |
net.sf.tweety.logics.commons.syntax.RelationalFormula |
complement() |
boolean |
containsModalityOperator() |
boolean |
containsQuantifier() |
boolean |
equals(Object obj) |
Set<net.sf.tweety.logics.fol.syntax.FOLAtom> |
getAtoms() |
net.sf.tweety.logics.commons.syntax.RelationalFormula |
getFormula()
Returns the inner formula of this modal formula.
|
Set<net.sf.tweety.logics.commons.syntax.Functor> |
getFunctors() |
Set<? extends net.sf.tweety.logics.commons.syntax.Predicate> |
getPredicates() |
Set<net.sf.tweety.logics.commons.syntax.Variable> |
getQuantifierVariables() |
net.sf.tweety.logics.fol.syntax.FolSignature |
getSignature() |
Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> |
getTerms() |
<C extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> |
getTerms(Class<C> cls) |
Set<net.sf.tweety.logics.commons.syntax.Variable> |
getUnboundVariables() |
net.sf.tweety.math.probability.Probability |
getUniformProbability() |
int |
hashCode() |
boolean |
isClosed() |
boolean |
isClosed(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables) |
boolean |
isLiteral() |
boolean |
isWellBound() |
boolean |
isWellBound(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables) |
clone, collapseAssociativeFormulas, isDnf, substitute, toDnf, toNnfpublic ModalFormula(net.sf.tweety.logics.commons.syntax.RelationalFormula formula)
public net.sf.tweety.logics.fol.syntax.FolSignature getSignature()
getSignature in interface net.sf.tweety.commons.FormulagetSignature in class net.sf.tweety.logics.fol.syntax.FolFormulapublic net.sf.tweety.math.probability.Probability getUniformProbability()
getUniformProbability in interface net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAwaregetUniformProbability in class net.sf.tweety.logics.fol.syntax.FolFormulapublic net.sf.tweety.logics.commons.syntax.RelationalFormula getFormula()
getFormula in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormulagetFormula in class net.sf.tweety.logics.commons.syntax.RelationalFormulapublic Set<? extends net.sf.tweety.logics.commons.syntax.Predicate> getPredicates()
public Set<net.sf.tweety.logics.commons.syntax.Functor> getFunctors()
getFunctors in class net.sf.tweety.logics.commons.syntax.RelationalFormulapublic Set<net.sf.tweety.logics.fol.syntax.FOLAtom> getAtoms()
getAtoms in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormulagetAtoms in class net.sf.tweety.logics.commons.syntax.RelationalFormulapublic boolean containsQuantifier()
public boolean isClosed()
public boolean isClosed(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables)
public Set<net.sf.tweety.logics.commons.syntax.Variable> getUnboundVariables()
public boolean isWellBound()
public boolean isWellBound(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables)
public net.sf.tweety.logics.fol.syntax.Conjunction combineWithAnd(net.sf.tweety.logics.commons.syntax.interfaces.Conjuctable f)
combineWithAnd in interface net.sf.tweety.logics.commons.syntax.interfaces.ConjuctablecombineWithAnd in class net.sf.tweety.logics.fol.syntax.FolFormulapublic net.sf.tweety.logics.fol.syntax.Disjunction combineWithOr(net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable f)
combineWithOr in interface net.sf.tweety.logics.commons.syntax.interfaces.DisjunctablecombineWithOr in class net.sf.tweety.logics.fol.syntax.FolFormulapublic net.sf.tweety.logics.commons.syntax.RelationalFormula complement()
complement in interface net.sf.tweety.logics.commons.syntax.interfaces.Invertablecomplement in class net.sf.tweety.logics.fol.syntax.FolFormulapublic boolean isLiteral()
public Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> getTerms()
public <C extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> Set<C> getTerms(Class<C> cls)
public Set<net.sf.tweety.logics.commons.syntax.Variable> getQuantifierVariables()
getQuantifierVariables in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormulagetQuantifierVariables in class net.sf.tweety.logics.fol.syntax.FolFormulapublic int hashCode()
public boolean equals(Object obj)
public boolean containsModalityOperator()
Copyright © 2018. All rights reserved.