Searched refs:ubFold (Results 1 – 1 of 1) sorted by relevance
64 Operation *ubFold = b.clone(*user, ubMap); in runOnOperation() local67 op.setUpperBound(ubFold->getResult(0)); in runOnOperation()70 Operation *ubFold = b.clone(*user, ubMap); in runOnOperation() local73 op.setUpperBound(ubFold->getResult(0)); in runOnOperation()