AssociativeFormula

Type Parameters:

T - the type of formulas

All Superinterfaces:

java.util.Collection<T>, Formula, java.lang.Iterable<T>, java.util.List<T>, SimpleLogicalFormula

All Known Implementing Classes:

ASPHead, AssociativeDlFormula, AssociativeFolFormula, AssociativeFormulaSupport, AssociativePlFormula, Conjunction, Conjunction, Disjunction, Disjunction, ExclusiveDisjunction, ExclusiveDisjunction, Intersection, LdoAssociativeFormula, LdoConjunction, LdoDisjunction, Union
```
public interface AssociativeFormula<T extends SimpleLogicalFormula>
extends SimpleLogicalFormula, java.util.List<T>
```
This interfaces describes associative formulas like a disjunction or a conjunction.

Author:

Tim Janus

Method Summary

Modifier and Type	Method	Description
`java.util.List<T>`	`getFormulas()`
`<C extends SimpleLogicalFormula> java.util.Set<C>`	`getFormulas(java.lang.Class<C> cls)`	Process the formulas of type C that are children of this associative formula

Methods inherited from interface java.util.Collection
parallelStream, removeIf, stream, toArray

Methods inherited from interface net.sf.tweety.commons.Formula
getSignature

Methods inherited from interface java.lang.Iterable
forEach

Methods inherited from interface java.util.List
add, add, addAll, addAll, clear, contains, containsAll, equals, get, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
clone, equals, getAtoms, getPredicateCls, getPredicates, hashCode, isLiteral

- Method Detail
  - getFormulas
```
java.util.List<T> getFormulas()
```
    Returns:
    
    all the formulas saved as childs in the associative formula
  - getFormulas
```
<C extends SimpleLogicalFormula> java.util.Set<C> getFormulas(java.lang.Class<C> cls)
```
    Process the formulas of type C that are children of this associative formula
    
    Type Parameters:
    
    C - the type of formulas
    
    Parameters:
    
    cls - the class structure defining the type of formulas which are searched.
    
    Returns:
    
    A set of formulas of type C which are members of the associative formula