net.sf.tweety.logics.el.syntax

Class ModalFormula

java.lang.Object

net.sf.tweety.logics.fol.syntax.RelationalFormula

net.sf.tweety.logics.el.syntax.ModalFormula

All Implemented Interfaces:

net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.Conjuctable, net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Invertable, net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure, net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware, net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Direct Known Subclasses:

Necessity, Possibility

public abstract class ModalFormula
extends net.sf.tweety.logics.fol.syntax.RelationalFormula

This class models a modal formula, i.e. it encapsulates an modal operator and a formula (either a modal formula or a FolFormula).

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
ModalFormula(net.sf.tweety.logics.fol.syntax.RelationalFormula formula)

Method Summary

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.fol.syntax.RelationalFormula	complement()
boolean	containsQuantifier()
boolean	equals(Object obj)
Set<net.sf.tweety.logics.fol.syntax.FOLAtom>	getAtoms()
net.sf.tweety.logics.fol.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<?>> Set<C>	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)
net.sf.tweety.logics.fol.syntax.RelationalFormula	substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)

Methods inherited from class net.sf.tweety.logics.fol.syntax.RelationalFormula

allGroundInstances, allSubstitutions, clone, containsTermsOfType, exchange, getPredicateCls, getSatisfactionRatio, isGround, isWellFormed, substitute, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ModalFormula

public ModalFormula(net.sf.tweety.logics.fol.syntax.RelationalFormula formula)

Method Detail

getSignature

public net.sf.tweety.logics.fol.syntax.FolSignature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.Formula

Overrides:

getSignature in class net.sf.tweety.logics.fol.syntax.RelationalFormula

getUniformProbability

public net.sf.tweety.math.probability.Probability getUniformProbability()

Specified by:

getUniformProbability in interface net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware

Specified by:

getUniformProbability in class net.sf.tweety.logics.fol.syntax.RelationalFormula

getFormula

public net.sf.tweety.logics.fol.syntax.RelationalFormula getFormula()

Returns the inner formula of this modal formula.

Specified by:

getFormula in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula

Overrides:

getFormula in class net.sf.tweety.logics.fol.syntax.RelationalFormula

Returns:

the inner formula of this modal formula.

getPredicates

public Set<? extends net.sf.tweety.logics.commons.syntax.Predicate> getPredicates()

getFunctors

public Set<net.sf.tweety.logics.commons.syntax.Functor> getFunctors()

Specified by:

getFunctors in class net.sf.tweety.logics.fol.syntax.RelationalFormula

getAtoms

public Set<net.sf.tweety.logics.fol.syntax.FOLAtom> getAtoms()

Specified by:

getAtoms in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

getAtoms in class net.sf.tweety.logics.fol.syntax.RelationalFormula

containsQuantifier

public boolean containsQuantifier()

isClosed

public boolean isClosed()

isClosed

public boolean isClosed(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables)

getUnboundVariables

public Set<net.sf.tweety.logics.commons.syntax.Variable> getUnboundVariables()

isWellBound

public boolean isWellBound()

isWellBound

public boolean isWellBound(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables)

combineWithAnd

public net.sf.tweety.logics.fol.syntax.Conjunction combineWithAnd(net.sf.tweety.logics.commons.syntax.interfaces.Conjuctable f)

Specified by:

combineWithAnd in interface net.sf.tweety.logics.commons.syntax.interfaces.Conjuctable

Overrides:

combineWithAnd in class net.sf.tweety.logics.fol.syntax.RelationalFormula

combineWithOr

public net.sf.tweety.logics.fol.syntax.Disjunction combineWithOr(net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable f)

Specified by:

combineWithOr in interface net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable

Overrides:

combineWithOr in class net.sf.tweety.logics.fol.syntax.RelationalFormula

complement

public net.sf.tweety.logics.fol.syntax.RelationalFormula complement()

Specified by:

complement in interface net.sf.tweety.logics.commons.syntax.interfaces.Invertable

Overrides:

complement in class net.sf.tweety.logics.fol.syntax.RelationalFormula

isLiteral

public boolean isLiteral()

getTerms

public Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> getTerms()

getTerms

public <C extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> Set<C> getTerms(Class<C> cls)

getQuantifierVariables

public Set<net.sf.tweety.logics.commons.syntax.Variable> getQuantifierVariables()

substitute

public net.sf.tweety.logics.fol.syntax.RelationalFormula substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v,
                                                                    net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
                                                             throws IllegalArgumentException

Specified by:

substitute in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Specified by:

substitute in class net.sf.tweety.logics.fol.syntax.RelationalFormula

Throws:

IllegalArgumentException

hashCode

public int hashCode()

Specified by:

hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Specified by:

equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Overrides:

equals in class Object