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

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

Direct Known Subclasses:

LdoConjunction, LdoDisjunction
```
public abstract class LdoAssociativeFormula
extends LdoFormula
implements net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<LdoFormula>, net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge, Collection<LdoFormula>
```
This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.

Author:

Matthias Thimm, Tim Janus

Field Summary

Fields
Modifier and Type Field Description

protected net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport<LdoFormula> support
The inner formulas of this formula

Constructor Summary

Constructors
Constructor	Description
`LdoAssociativeFormula()`	Creates a new (empty) associative formula.
`LdoAssociativeFormula(Collection<? extends LdoFormula> formulas)`	Creates a new associative formula with the given inner formulas.
`LdoAssociativeFormula(LdoFormula first, LdoFormula second)`	Creates a new associative formula with the two given formulae

Method Summary

Modifier and Type	Method	Description
`void`	`add(int index, LdoFormula element)`
`boolean`	`add(LdoFormula f)`
`boolean`	`addAll(int index, Collection<? extends LdoFormula> c)`
`boolean`	`addAll(Collection<? extends LdoFormula> c)`
`void`	`clear()`
`boolean`	`contains(Object o)`
`boolean`	`containsAll(Collection<?> c)`
`net.sf.tweety.commons.Signature`	`createEmptySignature()`
`boolean`	`equals(Object obj)`
`LdoFormula`	`get(int index)`
`Set<LdoArgument>`	`getAtoms()`
`List<LdoFormula>`	`getFormulas()`
`<C extends net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula> Set<C>`	`getFormulas(Class<C> cls)`
`Set<LdoFormula>`	`getLiterals()`	Returns all literals, i.e.
`Set<net.sf.tweety.logics.pl.syntax.PlPredicate>`	`getPredicates()`
`DungSignature`	`getSignature()`
`int`	`hashCode()`
`int`	`indexOf(Object o)`
`boolean`	`isEmpty()`
`Iterator<LdoFormula>`	`iterator()`
`int`	`lastIndexOf(Object o)`
`ListIterator<LdoFormula>`	`listIterator()`
`ListIterator<LdoFormula>`	`listIterator(int index)`
`LdoFormula`	`remove(int index)`
`boolean`	`remove(Object o)`
`boolean`	`removeAll(Collection<?> c)`
`boolean`	`retainAll(Collection<?> c)`
`LdoFormula`	`set(int index, LdoFormula element)`
`int`	`size()`
`List<LdoFormula>`	`subList(int fromIndex, int toIndex)`
`Object[]`	`toArray()`
`Object[]`	`toArray(Object[] a)`
`String`	`toString()`

Methods inherited from class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
clone, 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 net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge
createEmptyFormula, getEmptySymbol, getOperatorSymbol

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
clone, getPredicateCls, isLiteral

- Field Detail
  - support
```
protected net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport<LdoFormula> support
```
    The inner formulas of this formula
- Constructor Detail
  - LdoAssociativeFormula
```
public LdoAssociativeFormula()
```
    Creates a new (empty) associative formula.
  - LdoAssociativeFormula
```
public LdoAssociativeFormula(Collection<? extends LdoFormula> formulas)
```
    Creates a new associative formula with the given inner formulas.
    
    Parameters:
    
    formulas - a collection of formulas.
  - LdoAssociativeFormula
```
public LdoAssociativeFormula(LdoFormula first,
                             LdoFormula second)
```
    Creates a new associative formula with the two given formulae
    
    Parameters:
    
    first - a propositional formula.
    
    second - a propositional formula.
- Method Detail
  - getPredicates
```
public Set<net.sf.tweety.logics.pl.syntax.PlPredicate> getPredicates()
```
    Specified by:
    
    getPredicates in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    getPredicates in class LdoFormula
  - getFormulas
```
public List<LdoFormula> getFormulas()
```
    Specified by:
    
    getFormulas in interface net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<LdoFormula>
  - getFormulas
```
public <C extends net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula> Set<C> getFormulas(Class<C> cls)
```
    Specified by:
    
    getFormulas in interface net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<LdoFormula>
  - getAtoms
```
public Set<LdoArgument> getAtoms()
```
    Specified by:
    
    getAtoms in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    getAtoms in class LdoFormula
  - getLiterals
```
public Set<LdoFormula> getLiterals()
```
    Description copied from class: LdoFormula
    
    Returns all literals, i.e. all formulas of the form "a" or "!a" where "a" is a proposition, that appear in this formula.
    
    Specified by:
    
    getLiterals in class LdoFormula
    
    Returns:
    
    all literals appearing in this formula.
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - getSignature
```
public DungSignature getSignature()
```
    Specified by:
    
    getSignature in interface net.sf.tweety.commons.Formula
    
    Overrides:
    
    getSignature in class LdoFormula
  - createEmptySignature
```
public net.sf.tweety.commons.Signature createEmptySignature()
```
    Specified by:
    
    createEmptySignature in interface net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge
  - hashCode
```
public int hashCode()
```
    Specified by:
    
    hashCode in interface Collection<LdoFormula>
    
    Specified by:
    
    hashCode in interface List<LdoFormula>
    
    Specified by:
    
    hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    hashCode in class LdoFormula
  - equals
```
public boolean equals(Object obj)
```
    Specified by:
    
    equals in interface Collection<LdoFormula>
    
    Specified by:
    
    equals in interface List<LdoFormula>
    
    Specified by:
    
    equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    equals in class LdoFormula
  - add
```
public boolean add(LdoFormula f)
```
    Specified by:
    
    add in interface Collection<LdoFormula>
    
    Specified by:
    
    add in interface List<LdoFormula>
  - addAll
```
public boolean addAll(Collection<? extends LdoFormula> c)
```
    Specified by:
    
    addAll in interface Collection<LdoFormula>
    
    Specified by:
    
    addAll in interface List<LdoFormula>
  - clear
```
public void clear()
```
    Specified by:
    
    clear in interface Collection<LdoFormula>
    
    Specified by:
    
    clear in interface List<LdoFormula>
  - contains
```
public boolean contains(Object o)
```
    Specified by:
    
    contains in interface Collection<LdoFormula>
    
    Specified by:
    
    contains in interface List<LdoFormula>
  - containsAll
```
public boolean containsAll(Collection<?> c)
```
    Specified by:
    
    containsAll in interface Collection<LdoFormula>
    
    Specified by:
    
    containsAll in interface List<LdoFormula>
  - isEmpty
```
public boolean isEmpty()
```
    Specified by:
    
    isEmpty in interface Collection<LdoFormula>
    
    Specified by:
    
    isEmpty in interface List<LdoFormula>
  - iterator
```
public Iterator<LdoFormula> iterator()
```
    Specified by:
    
    iterator in interface Collection<LdoFormula>
    
    Specified by:
    
    iterator in interface Iterable<LdoFormula>
    
    Specified by:
    
    iterator in interface List<LdoFormula>
  - remove
```
public boolean remove(Object o)
```
    Specified by:
    
    remove in interface Collection<LdoFormula>
    
    Specified by:
    
    remove in interface List<LdoFormula>
  - removeAll
```
public boolean removeAll(Collection<?> c)
```
    Specified by:
    
    removeAll in interface Collection<LdoFormula>
    
    Specified by:
    
    removeAll in interface List<LdoFormula>
  - retainAll
```
public boolean retainAll(Collection<?> c)
```
    Specified by:
    
    retainAll in interface Collection<LdoFormula>
    
    Specified by:
    
    retainAll in interface List<LdoFormula>
  - size
```
public int size()
```
    Specified by:
    
    size in interface Collection<LdoFormula>
    
    Specified by:
    
    size in interface List<LdoFormula>
  - toArray
```
public Object[] toArray()
```
    Specified by:
    
    toArray in interface Collection<LdoFormula>
    
    Specified by:
    
    toArray in interface List<LdoFormula>
  - toArray
```
public Object[] toArray(Object[] a)
```
    Specified by:
    
    toArray in interface Collection<LdoFormula>
    
    Specified by:
    
    toArray in interface List<LdoFormula>
  - add
```
public void add(int index,
                LdoFormula element)
```
    Specified by:
    
    add in interface List<LdoFormula>
  - addAll
```
public boolean addAll(int index,
                      Collection<? extends LdoFormula> c)
```
    Specified by:
    
    addAll in interface List<LdoFormula>
  - get
```
public LdoFormula get(int index)
```
    Specified by:
    
    get in interface List<LdoFormula>
  - indexOf
```
public int indexOf(Object o)
```
    Specified by:
    
    indexOf in interface List<LdoFormula>
  - lastIndexOf
```
public int lastIndexOf(Object o)
```
    Specified by:
    
    lastIndexOf in interface List<LdoFormula>
  - listIterator
```
public ListIterator<LdoFormula> listIterator()
```
    Specified by:
    
    listIterator in interface List<LdoFormula>
  - listIterator
```
public ListIterator<LdoFormula> listIterator(int index)
```
    Specified by:
    
    listIterator in interface List<LdoFormula>
  - remove
```
public LdoFormula remove(int index)
```
    Specified by:
    
    remove in interface List<LdoFormula>
  - set
```
public LdoFormula set(int index,
                      LdoFormula element)
```
    Specified by:
    
    set in interface List<LdoFormula>
  - subList
```
public List<LdoFormula> subList(int fromIndex,
                                int toIndex)
```
    Specified by:
    
    subList in interface List<LdoFormula>

Class LdoAssociativeFormula

Field Summary

Constructor Summary

Method Summary

Methods inherited from class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula

Methods inherited from class java.lang.Object

Methods inherited from interface net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge

Methods inherited from interface java.util.Collection

Methods inherited from interface java.lang.Iterable

Methods inherited from interface java.util.List

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

Field Detail

support

Constructor Detail

LdoAssociativeFormula

LdoAssociativeFormula

LdoAssociativeFormula

Method Detail

getPredicates

getFormulas

getFormulas

getAtoms

getLiterals

toString

getSignature

createEmptySignature

hashCode

equals

add

addAll

clear

contains

containsAll

isEmpty

iterator

remove

removeAll

retainAll

size

toArray

toArray

add

addAll

get

indexOf

lastIndexOf

listIterator

listIterator

remove

set

subList