LdoDisjunction (Tweety (Dung Argumentation Library) 1.17 API)

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:

Iterable<LdoFormula>, Collection<LdoFormula>, List<LdoFormula>, net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge, net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<LdoFormula>, net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.Conjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Invertable, net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
```
public class LdoDisjunction
extends LdoAssociativeFormula
```
This class represents a disjunction in ldo logic.

Author:

Matthias Thimm, Tim Janus

Field Summary
- Fields inherited from class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
  support

Constructor Summary

Constructors
Constructor	Description
`LdoDisjunction()`	Creates a new (empty) disjunction.
`LdoDisjunction(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()

LdoDisjunction createEmptyFormula()

String getEmptySymbol()

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
  finalize, 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(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()
```
    Specified by:
    
    clone in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    clone in class LdoFormula
  - createEmptyFormula
```
public LdoDisjunction createEmptyFormula()
```
  - getOperatorSymbol
```
public String getOperatorSymbol()
```
  - getEmptySymbol
```
public String getEmptySymbol()
```