Package MAKBPInterpreter.logic
Class Not
- java.lang.Object
-
- MAKBPInterpreter.logic.Not
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
contains(Formula otherFormula)
Returnstrue
if this formula contains the specified formula.boolean
equals(java.lang.Object other)
Verifies if the current object formula andother
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()
-
-
-
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 classjava.lang.Object
-
equals
public boolean equals(java.lang.Object other)
Description copied from interface:Formula
Verifies if the current object formula andother
formula are the same.
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
simplify
public Formula simplify()
Description copied from interface:Formula
Simplifies the logic formula.
-
getNegation
public Formula getNegation()
Description copied from interface:Formula
Returns the negation of the current formula.- Specified by:
getNegation
in interfaceFormula
- Returns:
- negation of formula
-
contains
public boolean contains(Formula otherFormula)
Description copied from interface:Formula
Returnstrue
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.
-
-