LdoConjunction

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:

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 LdoConjunction
extends LdoAssociativeFormula
```
This class represents a conjunction in ldo logic.

Author:

Matthias Thimm, Tim Janus

Constructor Summary

Constructors
Constructor	Description
`LdoConjunction()`	Creates a new (empty) conjunction.
`LdoConjunction(java.util.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()`	Creates a deep copy of this formula
`LdoConjunction`	`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
  - LdoConjunction
```
public LdoConjunction(java.util.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()
```
    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
  - clone
```
public LdoConjunction 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