|
-clarify
|
this option can speed up the execution by basing the calculation on the clarified context
|
|
-a <ALGO>
|
supported algorithms are:
- LINCBO
- LINCBOPRUNING (default)
|
|
-c <CLOSURE>
|
two methods to perform the closure operation are available:
- BASIC (default)
- WITH_HISTORY
|
|
-t <POOL-MODE>
|
multithreading options are:
- MONO (default)
- FORKJOINPOOL
|
|
-h <THRESHOLD>
|
multithreading limit size of work for a task default=50
|
|
-b
|
sort implications by ascending support
|
|
-r <REPORTFILE>
|
generate report about algorithm execution
|
|
-folder <PATH>
|
folder to generate a file by support for results
|
|
-i <INPUT-FORMAT>
|
supported formats are:
- CXT (Burmeisters ConImp)
- SLF (HTK Standard Latice Format)
- XML (Galicia v3)
- CEX (ConExp)
- CSV (Comma separated values)
|
|
-o <OUTPUT-FORMAT>
|
supported formats are:
- TXT (default)
- JSON (soon)
- XML (soon)
- DATALOG (soon)
|
|
-m <IMPL>
|
supported implementations are:
- BITSET (default)
- TREESET
- COMPRESSED_BITSET
- SPARSE_BITSET
- INT_ARRAY
- FASTUTIL_AVL_TREESET
- FASTUTIL_RB_TREESET
- HPPC_BITSET
- ARRAYLIST
- BOOL_ARRAY
|
|
-s <SEPARATOR>
|
separator (CSV format only):
- COMMA (default)
- SEMICOLON
- TAB
|
|
-timeout <SECONDS>
|
set timeout for algorithm execution, in seconds
|
|
-v,--verbose
|
print a final report of the algorithm execution
|