Searched defs:DivDesc (Results 1 – 2 of 2) sorted by relevance
276 std::unique_ptr<ControlDivergenceDesc> DivDesc; member463 auto DivDesc = Propagator.computeJoinPoints(); in getJoinBlocks() local
299 const auto &DivDesc = SDA.getJoinBlocks(Term); in analyzeControlDivergence() local