Home
last modified time | relevance | path

Searched refs:FormulaKind (Results 1 – 2 of 2) sorted by relevance

/src/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DFormula.h66 Kind kind() const { return FormulaKind; } in kind()
119 Kind FormulaKind; variable
/src/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DFormula.cpp30 Result->FormulaKind = K; in create()