← Back to branch summary

~tapaal-ltl/verifypn/answer-for-gui

« back to all changes in this revision

Viewing changes to src/CTL/Algorithm/LocalFPA.cpp

  • Committer: srba.jiri at gmail
  • Date: 2021-04-02 18:13:50 UTC
  • mfrom: (230.1.28 mcc2021)
  • Revision ID: srba.jiri@gmail.com-20210402181350-k71xtjut3r48l1o5
merged in lp:~tapaal-ltl/verifypn/mcc2021 adding LTL, colored fixed-point unfolding for CPN and other performance improvements

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/CTL/Algorithm/LocalFPA.cpp
109
109
 
110
110
void Algorithm::LocalFPA::addDependency(DependencyGraph::Edge *e, DependencyGraph::Configuration *target)
111
111
{
112
 
    unsigned int sDist = e->is_negated ? e->source->getDistance() + 1 : e->source->getDistance();
113
 
    unsigned int tDist = target->getDistance();
114
 
 
115
 
    target->setDistance(std::max(sDist, tDist));
116
 
 
117
 
    auto lb = std::lower_bound(std::begin(target->dependency_set), std::end(target->dependency_set), e);
118
 
    if(lb == std::end(target->dependency_set) || *lb != e)
119
 
    {
120
 
        target->dependency_set.insert(lb, e);
121
 
        ++e->refcnt;
122
 
    }
 
112
    target->addDependency(e);
123
113
}