java.lang.Object
- net.sf.tweety.logics.dl.syntax.ComplexConcept
- - net.sf.tweety.logics.dl.syntax.AssociativeDlFormula

All Implemented Interfaces:

Iterable<ComplexConcept>, Collection<ComplexConcept>, List<ComplexConcept>, net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge, net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<ComplexConcept>, 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:

Intersection, Union
```
public abstract class AssociativeDlFormula
extends ComplexConcept
implements net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<ComplexConcept>, net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge
```
This class captures the common functionalities of description logic associative formulas (union and intersection).

Author:

Anna Gessler, Matthias Thimm, Tim Janus

Field Summary

Fields
Modifier and Type	Field	Description
`protected net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport<ComplexConcept>`	`support`	This helper class implements most of the common functionality of an associative formula, so the implementation can delegate the method calls to the support class.

Constructor Summary

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

Method Summary

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

Methods inherited from class net.sf.tweety.logics.dl.syntax.ComplexConcept
clone, collapseAssociativeFormulas, combineWithAnd, combineWithOr, complement, getAtoms, getPredicateCls, getUniformProbability

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, getAtoms, getPredicateCls

- Field Detail
  - support
```
protected net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport<ComplexConcept> support
```
    This helper class implements most of the common functionality of an associative formula, so the implementation can delegate the method calls to the support class.
- Constructor Detail
  - AssociativeDlFormula
```
public AssociativeDlFormula()
```
    Creates a new (empty) associative formula.
  - AssociativeDlFormula
```
public AssociativeDlFormula(ComplexConcept first,
                            ComplexConcept second)
```
    Creates a new associative formula with the two given formulae
    
    Parameters:
    
    first - a relational formula.
    
    second - a relational formula.
  - AssociativeDlFormula
```
public AssociativeDlFormula(Collection<? extends ComplexConcept> formulas)
```
    Creates a new associative formula with the given inner formulas.
    
    Parameters:
    
    formulas - a collection of formulas.
- Method Detail
  - createEmptySignature
```
public net.sf.tweety.commons.Signature createEmptySignature()
```
    Specified by:
    
    createEmptySignature in interface net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge
  - getSignature
```
public DlSignature getSignature()
```
    Specified by:
    
    getSignature in interface net.sf.tweety.commons.Formula
    
    Specified by:
    
    getSignature in class ComplexConcept
  - getPredicates
```
public Set<net.sf.tweety.logics.commons.syntax.Predicate> getPredicates()
```
    Specified by:
    
    getPredicates in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    getPredicates in class ComplexConcept
  - isLiteral
```
public boolean isLiteral()
```
    Specified by:
    
    isLiteral in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
  - hashCode
```
public int hashCode()
```
    Specified by:
    
    hashCode in interface Collection<ComplexConcept>
    
    Specified by:
    
    hashCode in interface List<ComplexConcept>
    
    Specified by:
    
    hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    hashCode in class ComplexConcept
  - equals
```
public boolean equals(Object obj)
```
    Specified by:
    
    equals in interface Collection<ComplexConcept>
    
    Specified by:
    
    equals in interface List<ComplexConcept>
    
    Specified by:
    
    equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    equals in class ComplexConcept
  - getFormulas
```
public List<ComplexConcept> getFormulas()
```
    Specified by:
    
    getFormulas in interface net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<ComplexConcept>
  - 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<ComplexConcept>
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - add
```
public boolean add(ComplexConcept e)
```
    Specified by:
    
    add in interface Collection<ComplexConcept>
    
    Specified by:
    
    add in interface List<ComplexConcept>
  - addAll
```
public boolean addAll(Collection<? extends ComplexConcept> c)
```
    Specified by:
    
    addAll in interface Collection<ComplexConcept>
    
    Specified by:
    
    addAll in interface List<ComplexConcept>
  - clear
```
public void clear()
```
    Specified by:
    
    clear in interface Collection<ComplexConcept>
    
    Specified by:
    
    clear in interface List<ComplexConcept>
  - contains
```
public boolean contains(Object o)
```
    Specified by:
    
    contains in interface Collection<ComplexConcept>
    
    Specified by:
    
    contains in interface List<ComplexConcept>
  - containsAll
```
public boolean containsAll(Collection<?> c)
```
    Specified by:
    
    containsAll in interface Collection<ComplexConcept>
    
    Specified by:
    
    containsAll in interface List<ComplexConcept>
  - isEmpty
```
public boolean isEmpty()
```
    Specified by:
    
    isEmpty in interface Collection<ComplexConcept>
    
    Specified by:
    
    isEmpty in interface List<ComplexConcept>
  - iterator
```
public Iterator<ComplexConcept> iterator()
```
    Specified by:
    
    iterator in interface Collection<ComplexConcept>
    
    Specified by:
    
    iterator in interface Iterable<ComplexConcept>
    
    Specified by:
    
    iterator in interface List<ComplexConcept>
  - remove
```
public boolean remove(Object o)
```
    Specified by:
    
    remove in interface Collection<ComplexConcept>
    
    Specified by:
    
    remove in interface List<ComplexConcept>
  - removeAll
```
public boolean removeAll(Collection<?> c)
```
    Specified by:
    
    removeAll in interface Collection<ComplexConcept>
    
    Specified by:
    
    removeAll in interface List<ComplexConcept>
  - retainAll
```
public boolean retainAll(Collection<?> c)
```
    Specified by:
    
    retainAll in interface Collection<ComplexConcept>
    
    Specified by:
    
    retainAll in interface List<ComplexConcept>
  - size
```
public int size()
```
    Specified by:
    
    size in interface Collection<ComplexConcept>
    
    Specified by:
    
    size in interface List<ComplexConcept>
  - toArray
```
public Object[] toArray()
```
    Specified by:
    
    toArray in interface Collection<ComplexConcept>
    
    Specified by:
    
    toArray in interface List<ComplexConcept>
  - toArray
```
public <T> T[] toArray(T[] a)
```
    Specified by:
    
    toArray in interface Collection<ComplexConcept>
    
    Specified by:
    
    toArray in interface List<ComplexConcept>
  - add
```
public void add(int index,
                ComplexConcept element)
```
    Specified by:
    
    add in interface List<ComplexConcept>
  - addAll
```
public boolean addAll(int index,
                      Collection<? extends ComplexConcept> c)
```
    Specified by:
    
    addAll in interface List<ComplexConcept>
  - get
```
public ComplexConcept get(int index)
```
    Specified by:
    
    get in interface List<ComplexConcept>
  - indexOf
```
public int indexOf(Object o)
```
    Specified by:
    
    indexOf in interface List<ComplexConcept>
  - lastIndexOf
```
public int lastIndexOf(Object o)
```
    Specified by:
    
    lastIndexOf in interface List<ComplexConcept>
  - listIterator
```
public ListIterator<ComplexConcept> listIterator()
```
    Specified by:
    
    listIterator in interface List<ComplexConcept>
  - listIterator
```
public ListIterator<ComplexConcept> listIterator(int index)
```
    Specified by:
    
    listIterator in interface List<ComplexConcept>
  - remove
```
public ComplexConcept remove(int index)
```
    Specified by:
    
    remove in interface List<ComplexConcept>
  - set
```
public ComplexConcept set(int index,
                          ComplexConcept element)
```
    Specified by:
    
    set in interface List<ComplexConcept>
  - subList
```
public List<ComplexConcept> subList(int fromIndex,
                                    int toIndex)
```
    Specified by:
    
    subList in interface List<ComplexConcept>

Class AssociativeDlFormula

Field Summary

Constructor Summary

Method Summary

Methods inherited from class net.sf.tweety.logics.dl.syntax.ComplexConcept

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

AssociativeDlFormula

AssociativeDlFormula

AssociativeDlFormula

Method Detail

createEmptySignature

getSignature

getPredicates

isLiteral

hashCode

equals

getFormulas

getFormulas

toString

add

addAll

clear

contains

containsAll

isEmpty

iterator

remove

removeAll

retainAll

size

toArray

toArray

add

addAll

get

indexOf

lastIndexOf

listIterator

listIterator

remove

set

subList