reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1253 DecIntegerState &takeAssumedMaximum(base_t Value) { 1260 DecIntegerState &takeKnownMinimum(base_t Value) { 1268 void handleNewAssumedValue(base_t Value) override { 1271 void handleNewKnownValue(base_t Value) override { takeKnownMinimum(Value); } 1272 void joinOR(base_t AssumedValue, base_t KnownValue) override { 1272 void joinOR(base_t AssumedValue, base_t KnownValue) override { 1276 void joinAND(base_t AssumedValue, base_t KnownValue) override { 1276 void joinAND(base_t AssumedValue, base_t KnownValue) override {