Home
last modified time | relevance | path

Searched defs:LargestVar (Results 1 – 2 of 2) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DCNFFormula.h71 const Variable LargestVar; variable
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DCNFFormula.cpp99 CNFFormula::CNFFormula(Variable LargestVar) in CNFFormula()