Package org.tweetyproject.arg.dung.ldo.syntax

Class LdoGraphDiamondModality

java.lang.Object

org.tweetyproject.arg.dung.ldo.syntax.LdoFormula

org.tweetyproject.arg.dung.ldo.syntax.AbstractLdoModality

org.tweetyproject.arg.dung.ldo.syntax.AbstractGraphLdoModality

org.tweetyproject.arg.dung.ldo.syntax.LdoGraphDiamondModality

All Implemented Interfaces:

Formula, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula

public class LdoGraphDiamondModality
extends AbstractGraphLdoModality

Author:

Matthias Thimm

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class org.tweetyproject.arg.dung.ldo.syntax.AbstractGraphLdoModality

getAtoms, getLowerReferenceArguments, getPredicates, getUpperReferenceArguments

Methods inherited from class org.tweetyproject.arg.dung.ldo.syntax.AbstractLdoModality

equals, getInnerFormula, getLiterals, hashCode

Methods inherited from class org.tweetyproject.arg.dung.ldo.syntax.LdoFormula

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

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

LdoGraphDiamondModality

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

Parameters:

innerFormula - inner Formula

lowerReferenceArguments - lower Reference Arguments

upperReferenceArguments - upper Reference Arguments

Method Details

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 AbstractGraphLdoModality

Returns:

the cloned formula

toString

public String toString()

Overrides:

toString in class Object