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_Operatoroperands - the lhs(operands[0]) and rhs(operands[1])
of the equation.true if the value of the lhs changes. false otherwise