net.sf.tweety.logics.commons.syntax.interfaces

Interface AssociativeFormula<T extends SimpleLogicalFormula>

All Superinterfaces:

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

All Known Implementing Classes:

AssociativeFOLFormula, AssociativeFormulaSupport, AssociativePropositionalFormula, Conjunction, Conjunction, Disjunction, Disjunction, DLPHead, LdoAssociativeFormula, LdoConjunction, LdoDisjunction

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 and 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 net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

clone, equals, getAtoms, getPredicateCls, getPredicates, hashCode, isLiteral

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

getSignature

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 java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

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

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