class DominatorOperator extends DF_Operator
Modifier and Type | Field and Description |
---|---|
(package private) static DominatorOperator |
MEET
A singleton instance of this class.
|
Constructor and Description |
---|
DominatorOperator() |
Modifier and Type | Method and Description |
---|---|
boolean |
evaluate(DF_LatticeCell[] operands)
Evaluate an equation with the MEET operation
|
String |
toString()
Return a String representation of the operator
|
static final DominatorOperator MEET
DominatorOperator()
public boolean evaluate(DF_LatticeCell[] operands)
evaluate
in class DF_Operator
operands
- the lhs(operands[0]) and rhs(operands[1])
of the equation.true
if the value of the lhs changes. false
otherwise