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

Class LdoBoxModality

java.lang.Object

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

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

org.tweetyproject.arg.dung.ldo.syntax.LdoBoxModality

All Implemented Interfaces:

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

public class LdoBoxModality
extends AbstractLdoModality

Represents the box modality in the logic of dialectical outcomes (LDO). The box modality (often denoted as "[]" or "box") is used to express necessity within the context of argumentation frameworks in LDO. This class encapsulates an LDO formula and defines the semantic interpretation that the enclosed formula is necessarily true given the dialectical framework. This class provides an implementation for handling the box modality specifically, allowing the representation and manipulation of such modal statements within LDO theories.

Author:

Matthias Thimm

Constructor Summary

Constructors

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

LdoBoxModality

public LdoBoxModality(LdoFormula innerFormula)

Parameters:

innerFormula - innerFormula

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