clang 24.0.0git
clang::dataflow::Environment::BoolModel Member List

This is the complete list of members for clang::dataflow::Environment::BoolModel, including all inherited members.

allows(const Formula &F) const =0clang::dataflow::Environment::BoolModelpure virtual
assume(const Formula &F)=0clang::dataflow::Environment::BoolModelpure virtual
BoolModel(BoolModelKind K)clang::dataflow::Environment::BoolModelinlineexplicit
clone() const =0clang::dataflow::Environment::BoolModelpure virtual
dump(raw_ostream &OS) const =0clang::dataflow::Environment::BoolModelpure virtual
getFlowConditionToken() const =0clang::dataflow::Environment::BoolModelpure virtual
getKind() constclang::dataflow::Environment::BoolModelinline
isEquivalentTo(const BoolModel &Other) const =0clang::dataflow::Environment::BoolModelpure virtual
join(const BoolModel &ModelA, const BoolModel &ModelB)=0clang::dataflow::Environment::BoolModelpure virtual
joinBoolValues(BoolValue &Val1, const BoolModel &Model1, BoolValue &Val2, const BoolModel &Model2, Environment &JoinedEnv)=0clang::dataflow::Environment::BoolModelpure virtual
onFork()=0clang::dataflow::Environment::BoolModelpure virtual
proves(const Formula &F) const =0clang::dataflow::Environment::BoolModelpure virtual
widen(const BoolModel &PrevModel)=0clang::dataflow::Environment::BoolModelpure virtual
~BoolModel()=defaultclang::dataflow::Environment::BoolModelvirtual
Generated on for clang by doxygen 1.14.0