public interface AssociativeFormula<T extends SimpleLogicalFormula> extends SimpleLogicalFormula, java.util.List<T>
Modifier and Type | Method and Description |
---|---|
java.util.List<T> |
getFormulas() |
<C extends SimpleLogicalFormula> |
getFormulas(java.lang.Class<C> cls)
Process the formulas of type C that are children of this associative
formula
|
clone, equals, getAtoms, getPredicateCls, getPredicates, hashCode, isLiteral
getSignature
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
java.util.List<T> getFormulas()
<C extends SimpleLogicalFormula> java.util.Set<C> getFormulas(java.lang.Class<C> cls)
cls
- the class structure defining the type of formulas which
are searched.