Searched refs:forcedconstant (Results 1 – 2 of 2) sorted by relevance
72 forcedconstant, enumerator92 return getLatticeValue() == constant || getLatticeValue() == forcedconstant; in isConstant()122 assert(getLatticeValue() == forcedconstant && in markConstant()145 Val.setInt(forcedconstant); in markForcedConstant()
70 forcedconstant, enumerator90 return getLatticeValue() == constant || getLatticeValue() == forcedconstant; in isConstant()120 assert(getLatticeValue() == forcedconstant && in markConstant()143 Val.setInt(forcedconstant); in markForcedConstant()