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