LdoDiamondModality

java.lang.Object
- net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
- - net.sf.tweety.arg.dung.ldo.syntax.AbstractLdoModality
  - - net.sf.tweety.arg.dung.ldo.syntax.LdoDiamondModality

All Implemented Interfaces:

Formula, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula
```
public class LdoDiamondModality
extends AbstractLdoModality
```

- Constructor Summary
  
  Constructors
  Constructor Description
  
  LdoDiamondModality(LdoFormula innerFormula)
- Method Summary
  
  Modifier and Type Method Description
  
  LdoFormula clone()
  Creates a deep copy of this formula
  
  java.lang.String toString()
  - Methods inherited from class net.sf.tweety.arg.dung.ldo.syntax.AbstractLdoModality
    equals, getAtoms, getInnerFormula, getLiterals, getPredicates, hashCode
  - Methods inherited from class net.sf.tweety.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 Detail
  - LdoDiamondModality
```
public LdoDiamondModality(LdoFormula innerFormula)
```
- Method Detail
  - 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 java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object