Lines Matching refs:Machine
432 DiffStateMachine Machine(LExclude, Intersection, RExclude);
442 Machine.onLOpen(LRange.getLow(), LCluster.second);
443 Machine.onLClose(LRange.getHigh());
449 Machine.onROpen(RRange.getLow(), RCluster.second);
450 Machine.onRClose(RRange.getHigh());
457 if (!Machine.isLOpened())
458 Machine.onLOpen(LRange.getLow(), LCluster.second);
459 Machine.onROpen(RRange.getLow(), RCluster.second);
462 if (!Machine.isROpened())
463 Machine.onROpen(RRange.getLow(), RCluster.second);
464 Machine.onLOpen(LRange.getLow(), LCluster.second);
467 Machine.onLROpen(LRange.getLow(), LCluster.second, RCluster.second);
470 Machine.onLClose(LRange.getHigh());
473 Machine.onLOpen(L->first.getLow(), L->second);
474 Machine.onLClose(L->first.getHigh());
479 Machine.onRClose(RRange.getHigh());
482 Machine.onROpen(R->first.getLow(), R->second);
483 Machine.onRClose(R->first.getHigh());
488 Machine.onLRClose(LRange.getHigh());
495 if (Machine.isLOpened()) {
496 Machine.onLClose(L->first.getHigh());
505 if (Machine.isROpened()) {
506 Machine.onRClose(R->first.getHigh());
