aces 0.0.7

Algebra of Cause-Effect Structures
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

name: required-by-clap
args:
    - MAIN_PATH:
        help: Path to a .cex file
        required: false
        default_value: data/arrow.cex
        index: 1
    - all:
        help: Search for all solutions, not only minimal
        long: all
        short: a
        multiple: false
        global: false
    - ENCODING:
        help: Preferred encoding
        long: encoding
        short: e
        takes_value: true
        possible_values: [PL, FJ]
        multiple: false
        global: false
    - PORT_LINK:
        help: Prefer port-link encoding
        long: port-link
        multiple: false
        global: false
    - FORK_JOIN:
        help: Prefer fork-join encoding
        long: fork-join
        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 .cex 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: data
                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