Class LdoGraphBoxModality

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

All Implemented Interfaces:

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

public class LdoGraphBoxModality
extends AbstractGraphLdoModality

Represents the graph box modality in the logic of dialectical outcomes (LDO). This modality extends the basic box modality by incorporating references to specific sets of arguments, termed upper and lower reference arguments, which are used to define the context or scope of necessity within the argumentation graph.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
LdoGraphBoxModality(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

LdoGraphBoxModality

public LdoGraphBoxModality(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