Lines Matching defs:split
246 * is between two variables in the same block. Then, we must split the block
279 // constraint is within block, need to split first
303 // v was satisfied by the above split!
368 f<<" found split point: "<<*v<<" lm="<<v->lm<<endl;
374 b->split(l,r,v);
577 void Blocks::split(Block *b, Block *&l, Block *&r, Constraint *c) {
578 b->split(l,r,c);
915 // We also do not consider equality constraints as potential split points
929 f<<" left split path: "<<*c<<endl;
949 f<<" right split path: "<<*c<<endl;
1054 * that most wants to split
1078 fprintf(stderr,"Couldn't find split point!\n");
1153 * Block needs to be split because of a violated constraint between vl and vr.
1155 * with min lagrangrian multiplier and split at that point.
1156 * Returns the split constraint
1162 f<<" need to split between: "<<*vl<<" and "<<*vr<<endl;
1167 f<<" going to split on: "<<*c<<endl;
1169 split(lb,rb,c);
1180 void Block::split(Block* &l, Block* &r, Constraint* c) {