← Back to branch summary

~verifypn-maintainers/verifypn/emptyTracePrint

« back to all changes in this revision

Viewing changes to CTL/CTLEngine.h

  • Committer: Jiri Srba
  • Date: 2018-04-18 10:58:36 UTC
  • mfrom: (197.3.78 cpn_ctlss)
  • Revision ID: srba.jiri@gmail.com-20180418105836-a5rha272u0om4u77
merged in branch lp:~verifypn-cpn/verifypn/cpn_ctlss/

CPN unfolding
CPN linear overapproximation
Export of reduced queries and model
parallel query simplification
TAR for P/T nets
Improved structural reduction rules

Show diffs side-by-side

added added

removed removed

Lines of Context:
CTL/CTLEngine.h
19
19
                    bool partial_order,
20
20
                    const std::vector<std::string>& querynames,
21
21
                    const std::vector<std::shared_ptr<PetriEngine::PQL::Condition>>& reducedQueries,
22
 
                    const std::vector<size_t>& ids);
 
22
                    const std::vector<size_t>& ids,
 
23
                    options_t& options);
23
24
 
24
25
#endif // CTLENGINE_H