Package net.sf.tweety.logics.ml.syntax

Class Necessity

java.lang.Object

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

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

net.sf.tweety.logics.ml.syntax.MlFormula

net.sf.tweety.logics.ml.syntax.Necessity

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.Conjunctable, 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 Necessity
extends MlFormula

This class models the necessity modality.

Author:

Matthias Thimm

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	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.ml.syntax.MlFormula

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

Necessity

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

Creates a new necessity 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

Specified by:

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

isDnf

public boolean isDnf()

Specified by:

isDnf 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