Home
last modified time | relevance | path

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

/openbsd-src/gnu/llvm/clang/lib/Sema/
H A DSemaConcept.cpp1247 using NormalForm = typedef
1250 static NormalForm makeCNF(const NormalizedConstraint &Normalized) { in makeCNF()
1254 NormalForm LCNF = makeCNF(Normalized.getLHS()); in makeCNF()
1255 NormalForm RCNF = makeCNF(Normalized.getRHS()); in makeCNF()
1264 NormalForm Res; in makeCNF()
1268 NormalForm::value_type Combined; in makeCNF()
1279 static NormalForm makeDNF(const NormalizedConstraint &Normalized) { in makeDNF()
1283 NormalForm LDNF = makeDNF(Normalized.getLHS()); in makeDNF()
1284 NormalForm RDNF = makeDNF(Normalized.getRHS()); in makeDNF()
1293 NormalForm Res; in makeDNF()
[all …]