description

list irreducible objets (-lobj option) or attributes (-lattr option). Use -u option to operate by class on unclarified context


usage

java -jar fca4j-cli.jar IRREDUCIBLE <input> [<output-file>][options]

options

-lattr

for attributes

-lobj

for objects

-u

 equivalent objects (resp.attributes) are grouped by classes. This option is useful in the case of unclarified contexts

-i <INPUT-FORMAT>

supported formats are:

    • CXT (Burmeisters ConImp)
    • SLF (HTK Standard Latice Format)
    • XML (Galicia v3)
    • CEX (ConExp)
    • CSV (Comma separated values)

 -m <IMPL>

supported implementations are:

    • BITSET (default)
    • HASHSET
    • KOLOBOKE_SET
    • TREESET
    • TROVE_HASHSET
    • COMPRESSED_BITSET
    • SPARSE_BITSET
    • INT_ARRAY
    • FASTUTIL_AVL_TREESET
    • FASTUTIL_RB_TREESET
    • HPPC_HASHSET
    • 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