| Assumed | llvm::IntegerStateBase< bool, true, false > | protected |
| base_t typedef | llvm::BooleanState | |
| BooleanState()=default | llvm::BooleanState | |
| BooleanState(base_t Assumed) | llvm::BooleanState | inline |
| getAssumed() const | llvm::IntegerStateBase< bool, true, false > | inline |
| getBestState() | llvm::IntegerStateBase< bool, true, false > | inlinestatic |
| getBestState(const IntegerStateBase &) | llvm::IntegerStateBase< bool, true, false > | inlinestatic |
| getKnown() const | llvm::IntegerStateBase< bool, true, false > | inline |
| getWorstState() | llvm::IntegerStateBase< bool, true, false > | inlinestatic |
| getWorstState(const IntegerStateBase &) | llvm::IntegerStateBase< bool, true, false > | inlinestatic |
| llvm::IntegerStateBase< bool, true, false >::handleNewAssumedValue(base_t Value)=0 | llvm::IntegerStateBase< bool, true, false > | protectedpure virtual |
| llvm::IntegerStateBase< bool, true, false >::handleNewKnownValue(base_t Value)=0 | llvm::IntegerStateBase< bool, true, false > | protectedpure virtual |
| indicateOptimisticFixpoint() override | llvm::IntegerStateBase< bool, true, false > | inlinevirtual |
| indicatePessimisticFixpoint() override | llvm::IntegerStateBase< bool, true, false > | inlinevirtual |
| IntegerStateBase()=default | llvm::IntegerStateBase< bool, true, false > | |
| IntegerStateBase(base_t Assumed) | llvm::IntegerStateBase< bool, true, false > | inline |
| isAssumed() const | llvm::BooleanState | inline |
| isAtFixpoint() const override | llvm::IntegerStateBase< bool, true, false > | inlinevirtual |
| isKnown() const | llvm::BooleanState | inline |
| isValidState() const override | llvm::IntegerStateBase< bool, true, false > | inlinevirtual |
| llvm::IntegerStateBase< bool, true, false >::joinAND(base_t AssumedValue, base_t KnownValue)=0 | llvm::IntegerStateBase< bool, true, false > | protectedpure virtual |
| llvm::IntegerStateBase< bool, true, false >::joinOR(base_t AssumedValue, base_t KnownValue)=0 | llvm::IntegerStateBase< bool, true, false > | protectedpure virtual |
| Known | llvm::IntegerStateBase< bool, true, false > | protected |
| operator!=(const IntegerStateBase< base_t, BestState, WorstState > &R) const | llvm::IntegerStateBase< bool, true, false > | inline |
| operator&=(const IntegerStateBase< base_t, BestState, WorstState > &R) | llvm::IntegerStateBase< bool, true, false > | inline |
| operator+=(const IntegerStateBase< base_t, BestState, WorstState > &R) | llvm::IntegerStateBase< bool, true, false > | inline |
| operator==(const IntegerStateBase< base_t, BestState, WorstState > &R) const | llvm::IntegerStateBase< bool, true, false > | inline |
| operator^=(const IntegerStateBase< base_t, BestState, WorstState > &R) | llvm::IntegerStateBase< bool, true, false > | inline |
| operator|=(const IntegerStateBase< base_t, BestState, WorstState > &R) | llvm::IntegerStateBase< bool, true, false > | inline |
| setAssumed(bool Value) | llvm::BooleanState | inline |
| setKnown(bool Value) | llvm::BooleanState | inline |
| super typedef | llvm::BooleanState | |
| ~AbstractState()=default | llvm::AbstractState | virtual |