LdoDisjunction

java.lang.Object
- net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
- - net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
  - - net.sf.tweety.arg.dung.ldo.syntax.LdoDisjunction

All Implemented Interfaces:

java.lang.Iterable<LdoFormula>, java.util.Collection<LdoFormula>, java.util.List<LdoFormula>, Formula, AssociativeFormulaSupport.AssociativeSupportBridge, AssociativeFormula<LdoFormula>, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula
```
public class LdoDisjunction
extends LdoAssociativeFormula
```
This class represents a disjunction in ldo logic.

Author:

Matthias Thimm, Tim Janus

Constructor Summary

Constructors
Constructor	Description
`LdoDisjunction()`	Creates a new (empty) disjunction.
`LdoDisjunction(java.util.Collection<? extends LdoFormula> formulas)`	Creates a new disjunction with the given inner formulas.
`LdoDisjunction(LdoFormula first, LdoFormula second)`	Creates a new disjunction with the two given formulae

Method Summary

Modifier and Type	Method	Description
`LdoFormula`	`clone()`	Creates a deep copy of this formula
`LdoDisjunction`	`createEmptyFormula()`
`java.lang.String`	`getEmptySymbol()`
`java.lang.String`	`getOperatorSymbol()`

Methods inherited from class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
add, add, add, addAll, addAll, clear, contains, containsAll, createEmptySignature, equals, get, getAtoms, getFormulas, getFormulas, getLiterals, getPredicates, getSignature, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, retainAll, set, size, subList, toArray, toArray, toString

Methods inherited from class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
combineWithAnd, combineWithOr, complement, getDividers, getPredicateCls, getUniformProbability, isLiteral

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection
parallelStream, removeIf, stream, toArray

Methods inherited from interface java.lang.Iterable
forEach

Methods inherited from interface java.util.List
replaceAll, sort, spliterator

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
getPredicateCls, isLiteral

- Constructor Detail
  - LdoDisjunction
```
public LdoDisjunction(java.util.Collection<? extends LdoFormula> formulas)
```
    Creates a new disjunction with the given inner formulas.
    
    Parameters:
    
    formulas - a collection of formulas.
  - LdoDisjunction
```
public LdoDisjunction()
```
    Creates a new (empty) disjunction.
  - LdoDisjunction
```
public LdoDisjunction(LdoFormula first,
                      LdoFormula second)
```
    Creates a new disjunction with the two given formulae
    
    Parameters:
    
    first - a propositional formula.
    
    second - a propositional formula.
- 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 LdoFormula
    
    Returns:
    
    the cloned formula
  - createEmptyFormula
```
public LdoDisjunction createEmptyFormula()
```
    Returns:
    
    an empty version of the AssociativeFormula
  - getOperatorSymbol
```
public java.lang.String getOperatorSymbol()
```
    Returns:
    
    A String representing the operator which connects two items of the associative formula.
  - getEmptySymbol
```
public java.lang.String getEmptySymbol()
```
    Returns:
    
    A String representing an empty version of the Associative Formula implementation