Lines Matching refs:ops
63 auto ops =
67 ASSERT_EQ(1, ops.size());
69 ASSERT_TRUE(ops[0]->PreconditionHolds());
70 ops[0]->TryToApply();
98 ops = RemoveSelectionReductionOpportunityFinder().GetAvailableOpportunities(
100 ASSERT_EQ(0, ops.size());
137 auto ops =
141 ASSERT_EQ(1, ops.size());
143 ASSERT_TRUE(ops[0]->PreconditionHolds());
144 ops[0]->TryToApply();
170 ops = RemoveSelectionReductionOpportunityFinder().GetAvailableOpportunities(
172 ASSERT_EQ(0, ops.size());
213 auto ops =
216 ASSERT_EQ(0, ops.size());
259 auto ops =
262 ASSERT_EQ(0, ops.size());
307 auto ops =
310 ASSERT_EQ(0, ops.size());
385 auto ops =
389 ASSERT_EQ(1, ops.size());
391 ASSERT_TRUE(ops[0]->PreconditionHolds());
392 ops[0]->TryToApply();
429 ops = RemoveSelectionReductionOpportunityFinder().GetAvailableOpportunities(
431 ASSERT_EQ(0, ops.size());
506 auto ops =
510 ASSERT_EQ(1, ops.size());
512 ASSERT_TRUE(ops[0]->PreconditionHolds());
513 ops[0]->TryToApply();
550 ops = RemoveSelectionReductionOpportunityFinder().GetAvailableOpportunities(
552 ASSERT_EQ(0, ops.size());