Class LdoDisjunction

    • Constructor Detail

      • LdoDisjunction

        public LdoDisjunction​(java.util.Collection<? extends LdoFormula> formulas)
        Creates a new disjunction with the given inner formulas.
        Parameters:
        formulas - a collection of formulas.
      • LdoDisjunction

        public LdoDisjunction()
        Creates a new (empty) disjunction.
      • LdoDisjunction

        public LdoDisjunction​(LdoFormula first,
                              LdoFormula second)
        Creates a new disjunction with the two given formulae
        Parameters:
        first - a propositional formula.
        second - a propositional formula.
    • Method Detail

      • createEmptyFormula

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

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

        public java.lang.String getEmptySymbol()
        Returns:
        A String representing an empty version of the Associative Formula implementation