Interface AssociativeFormula<T extends SimpleLogicalFormula>

    • 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 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
    • 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