AssociativeFormula

Type Parameters:: T - the type of formulas

All Superinterfaces:: Collection<T>, Formula, Iterable<T>, List<T>, SequencedCollection<T>, SimpleLogicalFormula

All Known Implementing Classes:: AssociativeDlFormula, AssociativeFolFormula, AssociativeFormulaSupport, AssociativePlFormula, ClassicalHead, Conjunction, Conjunction, Disjunction, Disjunction, ExclusiveDisjunction, ExclusiveDisjunction, Intersection, LdoAssociativeFormula, LdoConjunction, LdoDisjunction, Union

public interface AssociativeFormula<T extends SimpleLogicalFormula> extends SimpleLogicalFormula, List<T>

This interfaces describes associative formulas like a disjunction or a conjunction.

Author:: Tim Janus

Method Summary

Modifier and Type

Method

Description

List<T>

getFormulas()

<C extends SimpleLogicalFormula> Set<C>

getFormulas(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 org.tweetyproject.commons.Formula
getSignature

Methods inherited from interface java.lang.Iterable
forEach

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

Methods inherited from interface org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula
clone, equals, getAtoms, getPredicateCls, getPredicates, hashCode, isLiteral

Method Details
- getFormulas
  
  List<T> getFormulas()
  
  Returns:
  
  all the formulas saved as childs in the associative formula
- getFormulas
  
  <C extends SimpleLogicalFormula> Set<C> getFormulas(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