Package MAKBPInterpreter.logic

Class And

  • All Implemented Interfaces:
    Formula
    public class And
extends java.lang.Object
implements Formula
    Represents the conjunction of a set of operands.

    • Constructor Summary

      Constructors 
      Constructor Description
      And​(java.util.Collection<Formula> operands)
      Constructor with collection of operands.
      And​(Formula... operands)
      Constructor with operands array.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean contains​(Formula otherFormula)
      Returns true if this formula contains the specified formula.
      boolean equals​(java.lang.Object other)
      Checks if the operands are the same as the other set of operands.
      boolean evaluate​(LogicAssignment assignment)
      Evaluates a state that we passed into arguments.
      Formula getNegation()
      Returns the negation of the current formula.
      java.util.Set<Formula> getOperands()
      Gets a copy of the operands set object.
      int hashCode()  
      Formula simplify()
      Simplifies the logic formula.
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait

    • Constructor Detail

      • And

        public And​(java.util.Collection<Formula> operands)
        Constructor with collection of operands.
        Parameters:
        operands - collection of operands

      • And

        public And​(Formula... operands)
        Constructor with operands array.
        Parameters:
        operands - undifined number of operands

    • Method Detail

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object

      • equals

        public boolean equals​(java.lang.Object other)
        Checks if the operands are the same as the other set of operands.
        Specified by:
        equals in interface Formula
        Overrides:
        equals in class java.lang.Object
        Parameters:
        other - other formula to test the equality
        Returns:
        result of the equality test

      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object

      • simplify

        public Formula simplify()
        Description copied from interface: Formula
        Simplifies the logic formula.
        Specified by:
        simplify in interface Formula
        Returns:
        simplified formula

      • getNegation

        public Formula getNegation()
        Description copied from interface: Formula
        Returns the negation of the current formula.
        Specified by:
        getNegation in interface Formula
        Returns:
        negation of formula

      • contains

        public boolean contains​(Formula otherFormula)
        Description copied from interface: Formula
        Returns true if this formula contains the specified formula.
        Specified by:
        contains in interface Formula
        Parameters:
        otherFormula - other formula whose presence in this formula is to be tested
        Returns:
        true if this formula contains the specified formula

      • getOperands

        public java.util.Set<Formula> getOperands()
        Gets a copy of the operands set object.
        Returns:
        operands set object
        See Also:
        operands

      • evaluate

        public boolean evaluate​(LogicAssignment assignment)
                 throws java.lang.Exception
        Description copied from interface: Formula
        Evaluates a state that we passed into arguments.
        Specified by:
        evaluate in interface Formula
        Parameters:
        assignment - state to evaluate
        Returns:
        result of the evaluation
        Throws:
        java.lang.Exception - throws when the formula not supported this operation or expected object not given