Searched refs:NormalFormConstraint (Results 1 – 1 of 1) sorted by relevance
82 using NormalFormConstraint = variable86 llvm::SmallVector<llvm::SmallVector<NormalFormConstraint, 2>, 4>;210 for (NormalFormConstraint Pia : Pi) { in subsumes()211 for (NormalFormConstraint Qjb : Qj) { in subsumes()