description

reduce formal context to irreducible (--xo option), attributes (--xa option) or both

usage

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

options

-xa

reduce attributes

-xo

reduce objects

-u

 equivalent objects and/or 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)

-o <OUTPUT-FORMAT>

supported formats are:

    • TXT (default)
    • JSON
    • XML
    • DATALOG

-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