Searched defs:addConstraints (Results 1 – 2 of 2) sorted by relevance
92 void Z3CrosscheckVisitor::addConstraints( in addConstraints() function in Z3CrosscheckVisitor
260 void SpillPlacement::addConstraints(ArrayRef<BlockConstraint> LiveBlocks) { in addConstraints() function in SpillPlacement