← Back to branch summary

~verifypn-maintainers/verifypn/new-trunk

« back to all changes in this revision

Viewing changes to CTL/CTLEngine.h

  • Committer: Jiri Srba
  • Date: 2018-01-04 10:34:16 UTC
  • mfrom: (190.4.12 ctlse)
  • Revision ID: srba.jiri@gmail.com-20180104103416-fjdk15rww3vrbv4k
merged in branch lp:~verifypn-stub/verifypn/ctl-structural adding structurcal reduction
for CTL model checking and Stubborn sets for EF/AG leafs in the CTL algorithm

Show diffs side-by-side

added added

removed removed

Lines of Context:
CTL/CTLEngine.h
16
16
                    bool gamemode,
17
17
                    bool printstatistics,
18
18
                    bool mccoutput,
 
19
                    bool partial_order,
19
20
                    const std::vector<std::string>& querynames,
20
21
                    const std::vector<std::shared_ptr<PetriEngine::PQL::Condition>>& reducedQueries,
21
22
                    const std::vector<size_t>& ids);