reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
485 Clause->setVarRefs(VL); 486 Clause->setPrivates(PL); 487 Clause->setInits(IL); 490 std::fill(Clause->getInits().end(), Clause->getInits().end() + VL.size(), 490 std::fill(Clause->getInits().end(), Clause->getInits().end() + VL.size(), 492 std::fill(Clause->getUpdates().end(), Clause->getUpdates().end() + VL.size(), 492 std::fill(Clause->getUpdates().end(), Clause->getUpdates().end() + VL.size(), 494 std::fill(Clause->getUsedExprs().begin(), Clause->getUsedExprs().end(), 494 std::fill(Clause->getUsedExprs().begin(), Clause->getUsedExprs().end(), 496 Clause->setStep(Step); 497 Clause->setCalcStep(CalcStep); 498 Clause->setPreInitStmt(PreInit); 499 Clause->setPostUpdateExpr(PostUpdate); 500 return Clause;