Home
last modified time | relevance | path

Searched refs: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
100 explicit CNFFormula(Variable LargestVar);
115 Variable largestVar() const { return LargestVar; } in largestVar()
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DCNFFormula.cpp99 CNFFormula::CNFFormula(Variable LargestVar) in CNFFormula() argument
100 : LargestVar(LargestVar), KnownContradictory(false) { in CNFFormula()