LLVM 20.0.0git
llvm::BooleanState Member List

This is the complete list of members for llvm::BooleanState, including all inherited members.

Assumedllvm::IntegerStateBase< bool, true, false >protected
base_t typedefllvm::BooleanState
BooleanState()=defaultllvm::BooleanState
BooleanState(base_t Assumed)llvm::BooleanStateinline
getAssumed() constllvm::IntegerStateBase< bool, true, false >inline
getBestState()llvm::IntegerStateBase< bool, true, false >inlinestatic
getBestState(const IntegerStateBase &)llvm::IntegerStateBase< bool, true, false >inlinestatic
getKnown() constllvm::IntegerStateBase< bool, true, false >inline
getWorstState()llvm::IntegerStateBase< bool, true, false >inlinestatic
getWorstState(const IntegerStateBase &)llvm::IntegerStateBase< bool, true, false >inlinestatic
IntegerStateBase< bool, true, false >::handleNewAssumedValue(base_t Value)=0llvm::IntegerStateBase< bool, true, false >protectedpure virtual
IntegerStateBase< bool, true, false >::handleNewKnownValue(base_t Value)=0llvm::IntegerStateBase< bool, true, false >protectedpure virtual
indicateOptimisticFixpoint() overridellvm::IntegerStateBase< bool, true, false >inlinevirtual
indicatePessimisticFixpoint() overridellvm::IntegerStateBase< bool, true, false >inlinevirtual
IntegerStateBase()=defaultllvm::IntegerStateBase< bool, true, false >
IntegerStateBase(base_t Assumed)llvm::IntegerStateBase< bool, true, false >inline
isAssumed() constllvm::BooleanStateinline
isAtFixpoint() const overridellvm::IntegerStateBase< bool, true, false >inlinevirtual
isKnown() constllvm::BooleanStateinline
isValidState() const overridellvm::IntegerStateBase< bool, true, false >inlinevirtual
IntegerStateBase< bool, true, false >::joinAND(base_t AssumedValue, base_t KnownValue)=0llvm::IntegerStateBase< bool, true, false >protectedpure virtual
IntegerStateBase< bool, true, false >::joinOR(base_t AssumedValue, base_t KnownValue)=0llvm::IntegerStateBase< bool, true, false >protectedpure virtual
Knownllvm::IntegerStateBase< bool, true, false >protected
operator!=(const IntegerStateBase< base_t, BestState, WorstState > &R) constllvm::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) constllvm::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::BooleanStateinline
setKnown(bool Value)llvm::BooleanStateinline
super typedefllvm::BooleanState
~AbstractState()=defaultllvm::AbstractStatevirtual