Package MAKBPInterpreter.logic

Class Equivalence

java.lang.Object

MAKBPInterpreter.logic.Equivalence

All Implemented Interfaces:

Formula

public class Equivalence
extends java.lang.Object
implements Formula

Represents the equivalence of a formula to an other.

Constructor Summary

Constructors

Constructor	Description
Equivalence(Formula leftOperand, Formula rightOperand)	Constructor.

Method Summary

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 formulas are the same.
boolean	evaluate(LogicAssignment assignment)	Evaluates a state that we passed into arguments.
Formula	getLeftOperand()	Gets the left operand of the formula.
Formula	getNegation()	Returns the negation of the current formula.
Formula	getRightOperand()	Gets the right operand of the formula.
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

Equivalence

public Equivalence(Formula leftOperand,
                   Formula rightOperand)

Constructor.

Parameters:

leftOperand - left side operand

rightOperand - right side operand

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 formulas 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

getLeftOperand

public Formula getLeftOperand()

Gets the left operand of the formula.

Returns:

condition formula

getRightOperand

public Formula getRightOperand()

Gets the right operand of the formula.

Returns:

new formula implied by the left one

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