reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1078 static constexpr base_t getBestState() { return BestState; } 1081 static constexpr base_t getWorstState() { return WorstState; } 1103 base_t getKnown() const { return Known; } 1106 base_t getAssumed() const { return Assumed; } 1110 operator==(const IntegerStateBase<base_t, BestState, WorstState> &R) const { 1117 operator!=(const IntegerStateBase<base_t, BestState, WorstState> &R) const { 1124 void operator^=(const IntegerStateBase<base_t, BestState, WorstState> &R) { 1128 void operator|=(const IntegerStateBase<base_t, BestState, WorstState> &R) { 1132 void operator&=(const IntegerStateBase<base_t, BestState, WorstState> &R) { 1138 virtual void handleNewAssumedValue(base_t Value) = 0; 1141 virtual void handleNewKnownValue(base_t Value) = 0; 1144 virtual void joinOR(base_t AssumedValue, base_t KnownValue) = 0; 1144 virtual void joinOR(base_t AssumedValue, base_t KnownValue) = 0; 1147 virtual void joinAND(base_t AssumedValue, base_t KnownValue) = 0; 1147 virtual void joinAND(base_t AssumedValue, base_t KnownValue) = 0; 1150 base_t Known = getWorstState(); 1153 base_t Assumed = getBestState(); 1158 using base_t = IntegerStateBase::base_t; 1214 using base_t = IntegerStateBase::base_t; 1284 using base_t = IntegerStateBase::base_t;