net.sf.tweety.logics.el.syntax

Class Necessity

java.lang.Object

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

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

net.sf.tweety.logics.el.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.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 Necessity
extends ModalFormula

This class models the necessity modality.

Author:

Matthias Thimm

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
net.sf.tweety.logics.fol.syntax.RelationalFormula	clone()
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)
String	toString()

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

combineWithAnd, combineWithOr, complement, 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.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.fol.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.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

Overrides:

substitute in class ModalFormula

Throws:

IllegalArgumentException

toString

public String toString()

Specified by:

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

clone

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