Package MAKBPInterpreter.logic

Class Not

  • All Implemented Interfaces:
    Formula
    public class Not
extends java.lang.Object
implements Formula
    Represents the negation of a formula.

    • Constructor Summary

      Constructors 
      Constructor Description
      Not​(Formula operand)
      Default constructor.

    • 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)
      Verifies if the current object formula and other formula are the same.
      boolean evaluate​(LogicAssignment assignment)
      Evaluates a state that we passed into arguments.
      Formula getNegation()
      Returns the negation of the current formula.
      Formula getOperand()
      Gets the operand 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

      • Not

        public Not​(Formula operand)
        Default constructor.
        Parameters:
        operand - formula to make the negation

    • Method Detail

      • toString

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

      • equals

        public boolean equals​(java.lang.Object other)
        Description copied from interface: Formula
        Verifies if the current object formula and other formula are the same.
        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

      • getOperand

        public Formula getOperand()
        Gets the operand object.
        Returns:
        operand object
        See Also:
        operand

      • 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