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

Class LdoDiamondModality

java.lang.Object

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

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

org.tweetyproject.arg.dung.ldo.syntax.LdoDiamondModality

All Implemented Interfaces:

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

public class LdoDiamondModality
extends AbstractLdoModality

Represents the diamond modality in the logic of dialectical outcomes (LDO). The diamond modality is used to express possibility within the context of argumentation frameworks in LDO. This class encapsulates an LDO formula and defines the semantic interpretation that the enclosed formula is possibly true given the dialectical framework. This class provides an implementation for handling the diamond modality specifically, allowing the representation and manipulation of such modal statements within LDO theories.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
LdoDiamondModality(LdoFormula innerFormula)

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

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

LdoDiamondModality

public LdoDiamondModality(LdoFormula innerFormula)

Parameters:

innerFormula - inner Formula

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 AbstractLdoModality

Returns:

the cloned formula

toString

public String toString()

Overrides:

toString in class Object