net.sf.tweety.logics.el.syntax

Class Possibility

java.lang.Object

net.sf.tweety.logics.commons.syntax.RelationalFormula

net.sf.tweety.logics.fol.syntax.FolFormula

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

net.sf.tweety.logics.el.syntax.Possibility

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

public class Possibility
extends ModalFormula

This class models the possibility modality.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
Possibility(net.sf.tweety.logics.commons.syntax.RelationalFormula formula) Creates a new possibility formula with the given inner formula

Method Summary

Modifier and Type	Method and Description
net.sf.tweety.logics.fol.syntax.FolFormula	clone()
net.sf.tweety.logics.commons.syntax.RelationalFormula	collapseAssociativeFormulas()
boolean	isDnf()
net.sf.tweety.logics.fol.syntax.FolFormula	substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
net.sf.tweety.logics.fol.syntax.FolFormula	toNnf()
String	toString()

Methods inherited from class net.sf.tweety.logics.el.syntax.ModalFormula

combineWithAnd, combineWithOr, complement, containsModalityOperator, containsQuantifier, equals, getAtoms, getFormula, getFunctors, getPredicates, getQuantifierVariables, getSignature, getTerms, getTerms, getUnboundVariables, getUniformProbability, hashCode, isClosed, isClosed, isLiteral, isWellBound, isWellBound

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

toDnf

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

Possibility

public Possibility(net.sf.tweety.logics.commons.syntax.RelationalFormula formula)

Creates a new possibility formula with the given inner formula

Parameters:

formula - a formula, either a modal formula or a first-order formula.

Method Detail

substitute

public net.sf.tweety.logics.fol.syntax.FolFormula 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.FolFormula

Throws:

IllegalArgumentException

toString

public String toString()

Specified by:

toString in class net.sf.tweety.logics.commons.syntax.RelationalFormula

clone

public net.sf.tweety.logics.fol.syntax.FolFormula clone()

Specified by:

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

Specified by:

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

Overrides:

clone in class net.sf.tweety.logics.fol.syntax.FolFormula

toNnf

public net.sf.tweety.logics.fol.syntax.FolFormula toNnf()

Specified by:

toNnf in class net.sf.tweety.logics.fol.syntax.FolFormula

collapseAssociativeFormulas

public net.sf.tweety.logics.commons.syntax.RelationalFormula collapseAssociativeFormulas()

Specified by:

collapseAssociativeFormulas in class net.sf.tweety.logics.fol.syntax.FolFormula

isDnf

public boolean isDnf()

Specified by:

isDnf in class net.sf.tweety.logics.fol.syntax.FolFormula