Interface AssociativeFormula<T extends SimpleLogicalFormula>
-
- Type Parameters:
T- the type of formulas
- All Superinterfaces:
Collection<T>,net.sf.tweety.commons.Formula,Iterable<T>,List<T>,SimpleLogicalFormula
- All Known Implementing Classes:
AssociativeFormulaSupport
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 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
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
-
-