LdoConjunction (Tweety (Dung Argumentation Library) 1.16 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.LdoConjunction

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 LdoConjunction
extends LdoAssociativeFormula
```
This class represents a conjunction 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
`LdoConjunction()`	Creates a new (empty) conjunction.
`LdoConjunction(Collection<? extends LdoFormula> formulas)`	Creates a new conjunction with the given inner formulas.
`LdoConjunction(LdoFormula first, LdoFormula second)`	Creates a new conjunction with the two given formulae

Method Summary

Modifier and Type Method Description

LdoConjunction clone()

LdoConjunction createEmptyFormula()

String getEmptySymbol()

String getOperatorSymbol()
- Methods inherited from class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
  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
  - LdoConjunction
```
public LdoConjunction(Collection<? extends LdoFormula> formulas)
```
    Creates a new conjunction with the given inner formulas.
    
    Parameters:
    
    formulas - a collection of formulas.
  - LdoConjunction
```
public LdoConjunction()
```
    Creates a new (empty) conjunction.
  - LdoConjunction
```
public LdoConjunction(LdoFormula first,
                      LdoFormula second)
```
    Creates a new conjunction with the two given formulae
    
    Parameters:
    
    first - a ldo formula.
    
    second - a ldo formula.
- Method Detail
  - createEmptyFormula
```
public LdoConjunction createEmptyFormula()
```
  - getOperatorSymbol
```
public String getOperatorSymbol()
```
  - getEmptySymbol
```
public String getEmptySymbol()
```
  - clone
```
public LdoConjunction clone()
```
    Specified by:
    
    clone in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    clone in class LdoFormula