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

Author:: Matthias Thimm

Constructor Summary

Constructors

Constructor

Description

LdoBoxModality(LdoFormula innerFormula)

Creates a box modality around the given formula.
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)
  
  Creates a box modality around the given formula.
  
  Parameters:
  
  innerFormula - the enclosed 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