← Back to branch summary

~verifypn-maintainers/verifypn/u4.2

« back to all changes in this revision

Viewing changes to include/PetriEngine/options.h

  • Committer: srba.jiri at gmail
  • Date: 2021-07-07 12:02:50 UTC
  • mfrom: (233.1.63 update-parser)
  • Revision ID: srba.jiri@gmail.com-20210707120250-f86fv0m9ycbge3qs
merged in lp:~tapaal-contributor/verifypn/update-parser improving CPN unfodling and refactoring the code, fixing parser

Show diffs side-by-side

added added

removed removed

Lines of Context:
include/PetriEngine/options.h
41
41
    bool printstatistics = true;
42
42
    std::set<size_t> querynumbers;
43
43
    PetriEngine::Reachability::Strategy strategy = PetriEngine::Reachability::DEFAULT;
44
 
    int queryReductionTimeout = 30, intervalTimeout = 10, lpsolveTimeout = 10;
 
44
    int queryReductionTimeout = 30, intervalTimeout = 10, partitionTimeout = 5, lpsolveTimeout = 10;
45
45
    TraceLevel trace = TraceLevel::None;
46
46
    bool use_query_reductions = true;
47
47
    uint32_t siphontrapTimeout = 0;
48
48
    uint32_t siphonDepth = 0;
49
49
    uint32_t cores = 1;
50
50
    std::string output_stats;
 
51
    bool doVerification = true;
51
52
 
52
53
    TemporalLogic logic = TemporalLogic::CTL;
53
54
    bool noreach = false;
68
69
 
69
70
    std::string query_out_file;
70
71
    std::string model_out_file;
 
72
    std::string unfolded_out_file;
 
73
    std::string unfold_query_out_file;
71
74
 
72
75
    
73
76
    //CPN Specific options
74
77
    bool cpnOverApprox = false;
75
78
    bool computeCFP = true;
76
79
    bool computePartition = true;
 
80
    bool symmetricVariables = true;
77
81
    bool isCPN = false;
78
82
    uint32_t seed_offset = 0;
79
83
    int max_intervals = 250; //0 disabled