Lines Matching defs:ops
67 const auto ops =
70 ASSERT_EQ(5, ops.size());
74 ASSERT_TRUE(ops[3]->PreconditionHolds());
75 ops[3]->TryToApply();
115 ASSERT_TRUE(ops[0]->PreconditionHolds());
116 ops[0]->TryToApply();
154 ASSERT_TRUE(ops[2]->PreconditionHolds());
155 ops[2]->TryToApply();
191 ASSERT_TRUE(ops[4]->PreconditionHolds());
192 ops[4]->TryToApply();
226 ASSERT_TRUE(ops[1]->PreconditionHolds());
227 ops[1]->TryToApply();
357 const auto ops =
360 ASSERT_EQ(11, ops.size());
362 for (auto& ri : ops) {
475 const auto ops =
478 ASSERT_EQ(1, ops.size());
480 ASSERT_TRUE(ops[0]->PreconditionHolds());
481 ops[0]->TryToApply();
677 const auto ops =
680 ASSERT_EQ(1, ops.size());
682 ASSERT_TRUE(ops[0]->PreconditionHolds());
683 ops[0]->TryToApply();