Class LdoConjunction

java.lang.Object
All Implemented Interfaces:
Iterable<LdoFormula>, Collection<LdoFormula>, List<LdoFormula>, SequencedCollection<LdoFormula>, Formula, AssociativeFormulaSupport.AssociativeSupportBridge, AssociativeFormula<LdoFormula>, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula

public class LdoConjunction extends LdoAssociativeFormula
This class represents a conjunction in ldo logic.
Author:
Matthias Thimm, Tim Janus