net.sf.tweety.arg.dung.ldo.syntax

Class LdoDiamondModality

java.lang.Object

net.sf.tweety.arg.dung.ldo.syntax.LdoFormula

net.sf.tweety.arg.dung.ldo.syntax.AbstractLdoModality

net.sf.tweety.arg.dung.ldo.syntax.LdoDiamondModality

All Implemented Interfaces:

Formula, ClassicalFormula, Conjuctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula

public class LdoDiamondModality
extends AbstractLdoModality

Constructor Summary

Constructors

Constructor and Description
LdoDiamondModality(LdoFormula innerFormula)

Method Summary

Modifier and Type	Method and Description
LdoFormula	clone() Creates a deep copy of this formula
java.lang.String	toString()

Methods inherited from class net.sf.tweety.arg.dung.ldo.syntax.AbstractLdoModality

equals, getAtoms, getInnerFormula, getLiterals, getPredicates, hashCode

Methods inherited from class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula

combineWithAnd, combineWithOr, complement, getDividers, getPredicateCls, getSignature, getUniformProbability, isLiteral

Methods inherited from class java.lang.Object

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

Constructor Detail

LdoDiamondModality

public LdoDiamondModality(LdoFormula innerFormula)

Method Detail

clone

public LdoFormula clone()

Description copied from interface: SimpleLogicalFormula

Creates a deep copy of this formula

Specified by:

clone in interface SimpleLogicalFormula

Specified by:

clone in class AbstractLdoModality

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object