Class LdoAssociativeFormula

java.lang.Object
org.tweetyproject.arg.dung.ldo.syntax.LdoFormula
org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
All Implemented Interfaces:
Iterable<LdoFormula>, Collection<LdoFormula>, List<LdoFormula>, SequencedCollection<LdoFormula>, Formula, AssociativeFormulaSupport.AssociativeSupportBridge, AssociativeFormula<LdoFormula>, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula
Direct Known Subclasses:
LdoConjunction, LdoDisjunction

public abstract class LdoAssociativeFormula extends LdoFormula implements AssociativeFormula<LdoFormula>, AssociativeFormulaSupport.AssociativeSupportBridge
This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.
Author:
Matthias Thimm, Tim Janus