LLVM  14.0.0git
llvm::BooleanState Member List

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

Assumedllvm::IntegerStateBase< bool, 1, 0 >protected
base_t typedefllvm::BooleanState
BooleanState()llvm::BooleanStateinline
BooleanState(base_t Assumed)llvm::BooleanStateinline
getAssumed() constllvm::IntegerStateBase< bool, 1, 0 >inline
getBestState()llvm::IntegerStateBase< bool, 1, 0 >inlinestatic
getBestState(const IntegerStateBase &)llvm::IntegerStateBase< bool, 1, 0 >inlinestatic
getKnown() constllvm::IntegerStateBase< bool, 1, 0 >inline
getWorstState()llvm::IntegerStateBase< bool, 1, 0 >inlinestatic
getWorstState(const IntegerStateBase &)llvm::IntegerStateBase< bool, 1, 0 >inlinestatic
IntegerStateBase< bool, 1, 0 >::handleNewAssumedValue(base_t Value)=0llvm::IntegerStateBase< bool, 1, 0 >protectedpure virtual
IntegerStateBase< bool, 1, 0 >::handleNewKnownValue(base_t Value)=0llvm::IntegerStateBase< bool, 1, 0 >protectedpure virtual
indicateOptimisticFixpoint() overridellvm::IntegerStateBase< bool, 1, 0 >inlinevirtual
indicatePessimisticFixpoint() overridellvm::IntegerStateBase< bool, 1, 0 >inlinevirtual
IntegerStateBase()llvm::IntegerStateBase< bool, 1, 0 >inline
IntegerStateBase(base_t Assumed)llvm::IntegerStateBase< bool, 1, 0 >inline
isAssumed() constllvm::BooleanStateinline
isAtFixpoint() const overridellvm::IntegerStateBase< bool, 1, 0 >inline
llvm::AbstractState::isAtFixpoint() const =0llvm::AbstractStatepure virtual
isKnown() constllvm::BooleanStateinline
isValidState() const overridellvm::IntegerStateBase< bool, 1, 0 >inline
llvm::AbstractState::isValidState() const =0llvm::AbstractStatepure virtual
IntegerStateBase< bool, 1, 0 >::joinAND(base_t AssumedValue, base_t KnownValue)=0llvm::IntegerStateBase< bool, 1, 0 >protectedpure virtual
IntegerStateBase< bool, 1, 0 >::joinOR(base_t AssumedValue, base_t KnownValue)=0llvm::IntegerStateBase< bool, 1, 0 >protectedpure virtual
Knownllvm::IntegerStateBase< bool, 1, 0 >protected
operator!=(const IntegerStateBase< base_t, BestState, WorstState > &R) constllvm::IntegerStateBase< bool, 1, 0 >inline
operator&=(const IntegerStateBase< base_t, BestState, WorstState > &R)llvm::IntegerStateBase< bool, 1, 0 >inline
operator+=(const IntegerStateBase< base_t, BestState, WorstState > &R)llvm::IntegerStateBase< bool, 1, 0 >inline
operator==(const IntegerStateBase< base_t, BestState, WorstState > &R) constllvm::IntegerStateBase< bool, 1, 0 >inline
operator^=(const IntegerStateBase< base_t, BestState, WorstState > &R)llvm::IntegerStateBase< bool, 1, 0 >inline
operator|=(const IntegerStateBase< base_t, BestState, WorstState > &R)llvm::IntegerStateBase< bool, 1, 0 >inline
setAssumed(bool Value)llvm::BooleanStateinline
setKnown(bool Value)llvm::BooleanStateinline
super typedefllvm::BooleanState
~AbstractState()llvm::AbstractStateinlinevirtual