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

Class LdoGraphDiamondModality

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.AbstractGraphLdoModality

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

All Implemented Interfaces:

net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, 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.ProbabilityAware, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

public class LdoGraphDiamondModality
extends AbstractGraphLdoModality

Constructor Summary

Constructors

Constructor and Description
LdoGraphDiamondModality(LdoFormula innerFormula, Set<LdoArgument> lowerReferenceArguments, Set<LdoArgument> upperReferenceArguments)

Method Summary

Modifier and Type	Method and Description
LdoFormula	clone()
String	toString()

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

getAtoms, getLowerReferenceArguments, getPredicates, getUpperReferenceArguments

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

equals, getInnerFormula, getLiterals, 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

LdoGraphDiamondModality

public LdoGraphDiamondModality(LdoFormula innerFormula,
                               Set<LdoArgument> lowerReferenceArguments,
                               Set<LdoArgument> upperReferenceArguments)

Method Detail

clone

public LdoFormula clone()

Specified by:

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

Specified by:

clone in class AbstractGraphLdoModality

toString

public String toString()

Overrides:

toString in class Object