reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1217 IncIntegerState &takeAssumedMinimum(base_t Value) { 1224 IncIntegerState &takeKnownMaximum(base_t Value) { 1232 void handleNewAssumedValue(base_t Value) override { 1235 void handleNewKnownValue(base_t Value) override { takeKnownMaximum(Value); } 1236 void joinOR(base_t AssumedValue, base_t KnownValue) override { 1236 void joinOR(base_t AssumedValue, base_t KnownValue) override { 1240 void joinAND(base_t AssumedValue, base_t KnownValue) override { 1240 void joinAND(base_t AssumedValue, base_t KnownValue) override {