Class LdoConjunction

All Implemented Interfaces:
Iterable<LdoFormula>, Collection<LdoFormula>, List<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
  • Constructor Details

    • LdoConjunction

      public LdoConjunction(Collection<? extends LdoFormula> formulas)
      Creates a new conjunction with the given inner formulas.
      Parameters:
      formulas - a collection of formulas.
    • LdoConjunction

      public LdoConjunction()
      Creates a new (empty) conjunction.
    • LdoConjunction

      public LdoConjunction(LdoFormula first, LdoFormula second)
      Creates a new conjunction with the two given formulae
      Parameters:
      first - a ldo formula.
      second - a ldo formula.
  • Method Details

    • createEmptyFormula

      public LdoConjunction createEmptyFormula()
      Returns:
      an empty version of the AssociativeFormula
    • getOperatorSymbol

      public String getOperatorSymbol()
      Returns:
      A String representing the operator which connects two items of the associative formula.
    • getEmptySymbol

      public String getEmptySymbol()
      Returns:
      A String representing an empty version of the Associative Formula implementation
    • clone

      public LdoConjunction clone()
      Description copied from interface: SimpleLogicalFormula
      Creates a deep copy of this formula
      Specified by:
      clone in interface SimpleLogicalFormula
      Specified by:
      clone in class LdoFormula
      Returns:
      the cloned formula