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

Author:: Matthias Thimm

Constructor Summary

Constructors

Constructor

Description

LdoDiamondModality(LdoFormula innerFormula)

Creates a diamond 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
- LdoDiamondModality
  
  public LdoDiamondModality(LdoFormula innerFormula)
  
  Creates a diamond 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