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

*description missing*

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