LdoGraphDiamondModality

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.AbstractGraphLdoModality
    - - net.sf.tweety.arg.dung.ldo.syntax.LdoGraphDiamondModality

All Implemented Interfaces:

Formula, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula
```
public class LdoGraphDiamondModality
extends AbstractGraphLdoModality
```

Constructor Summary

Constructors
Constructor	Description
`LdoGraphDiamondModality(LdoFormula innerFormula, java.util.Set<LdoArgument> lowerReferenceArguments, java.util.Set<LdoArgument> upperReferenceArguments)`

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.AbstractGraphLdoModality
  getAtoms, getLowerReferenceArguments, getPredicates, getUpperReferenceArguments
- Methods inherited from class net.sf.tweety.arg.dung.ldo.syntax.AbstractLdoModality
  equals, getInnerFormula, getLiterals, 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
  finalize, getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - LdoGraphDiamondModality
```
public LdoGraphDiamondModality(LdoFormula innerFormula,
                               java.util.Set<LdoArgument> lowerReferenceArguments,
                               java.util.Set<LdoArgument> upperReferenceArguments)
```
- 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 AbstractGraphLdoModality
    
    Returns:
    
    the cloned formula
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object