BooleanConstantLatticeOps boolOps = new BooleanConstantLatticeOps();
for (Variable var : aliasLattice.getVariables()) {
if (aliasLattice.getAliases(var).contains(label)) {
BooleanConstantLE varConstant = boolLattice.get(var);
labelConstant = boolOps.join(labelConstant, varConstant);
}
}
if (labelConstant == BooleanConstantLE.TRUE)
value = ThreeValue.TRUE;
else if (labelConstant == BooleanConstantLE.FALSE)