Interface Conjunctable

    • Method Detail

      • combineWithAnd

        SimpleLogicalFormula combineWithAnd​(Conjunctable f)
        Returns a conjunction of this and the given formula.
        Parameters:
        f - a formula to be combined with AND and this.
        Returns:
        a conjunction of this and the given formula.