ascetic_cli 0.0.2

Command-line tools for analysis and synthesis of cause-effect synchronised interacting systems
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91

name: required-by-clap
args:
    - MAIN_PATH:
        help: Path to a script file
        required: false
        default_value: scripts/examples/arrow.ces
        multiple: true
        index: 1
    - SAT_ENCODING:
        help: Preferred encoding
        long: sat-encoding
        short: e
        takes_value: true
        possible_values: [port-link, fork-join, PL, FJ]
        multiple: false
        global: false
    - SAT_SEARCH:
        help: Search for all, or only minimal solutions
        long: sat-search
        short: s
        takes_value: true
        possible_values: [min, all]
        multiple: false
        global: false
    - START:
        help: Start a cause-effect computation from a given state (set of node multiplicities)
        long: from
        short: f
        takes_value: true
        multiple: true
        global: false
    - GOAL:
        help: Stop when a computation reaches or exceeds a given goal (disjunction of node multiplicities)
        long: goal
        short: g
        takes_value: true
        multiple: true
        global: false
    - SEMANTICS:
        help: Choose state transitions according to sequential or parallel semantics
        long: semantics
        takes_value: true
        possible_values: [seq, par]
        multiple: false
        global: false
    - MAX_STEPS:
        help: Maximum number of state transitions
        long: max-steps
        short: x
        takes_value: true
        multiple: false
        global: false
    - log:
        help: Turn on logging to file
        long: log
        short: l
        multiple: true
        global: true
    - LOG_DIR:
        help: Specify a directory for log files (and force its creation)
        long: log-dir
        takes_value: true
        global: true
    - verbose:
        help: Increase verbosity level
        long: verbose
        short: v
        multiple: true
        global: true

subcommands:

    - validate:
        name: required-by-clap
        about: Reads all script files from a given glob path and checks them for errors
        args:
            - GLOB_PATH:
                help: Glob pattern or path to directory
                required: false
                default_value: scripts
                index: 1
            - abort:
                help: Aborts after first error
                long: abort
            - recursive:
                help: Visits subdirectories
                long: recursive
                short: r
            - syntax:
                help: Reports syntax errors only
                long: syntax