blob: db2f3d6c99a55f2e0a2c83d7805598eae7ced13b (
plain)
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
|
id = "PRINTER"
name = "Printing"
header = "options/printer_options.h"
[[option]]
name = "modelFormatMode"
category = "regular"
long = "model-format=MODE"
type = "ModelFormatMode"
default = "DEFAULT"
help = "print format mode for models, see --model-format=help"
help_mode = "Model format modes."
[[option.mode.DEFAULT]]
name = "default"
help = "Print model as expressions in the output language format."
[[option.mode.TABLE]]
name = "table"
help = "Print functional expressions over finite domains in a table format."
[[option]]
name = "instFormatMode"
category = "regular"
long = "inst-format=MODE"
type = "InstFormatMode"
default = "InstFormatMode::DEFAULT"
handler = "stringToInstFormatMode"
includes = ["options/printer_modes.h"]
help = "print format mode for instantiations, see --inst-format=help"
# InstFormatMode is currently exported as public so we can't auto genenerate
# the enum.
# help_mode = "Inst format modes."
#[[option.mode.DEFAULT]]
# name = "default"
# help = "Print instantiations as a list in the output language format."
#[[option.mode.SZS]]
# name = "szs"
# help = "Print instantiations as SZS compliant proof."
[[option]]
name = "flattenHOChains"
category = "regular"
long = "flatten-ho-chains"
type = "bool"
default = "false"
help = "print (binary) application chains in a flattened way, e.g. (a b c) rather than ((a b) c)"
|
