blob: cc9847469661d755eb590f6737e35e9a594049b5 (
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
|
id = "PRINTER"
name = "Printing"
[[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)"
[[option]]
name = "printInstMode"
category = "regular"
long = "print-inst=MODE"
type = "PrintInstMode"
default = "LIST"
help = "print format for printing instantiations"
help_mode = "Print format for printing instantiations."
[[option.mode.LIST]]
name = "list"
help = "Print the list of instantiations per quantified formula, when non-empty."
[[option.mode.NUM]]
name = "num"
help = "Print the total number of instantiations per quantified formula, when non-zero."
[[option]]
name = "printInstFull"
category = "regular"
long = "print-inst-full"
type = "bool"
default = "true"
help = "print instantiations for formulas that do not have given identifiers"
|