Rule for CommandLineInvocation
For help:
./bin/panda ?
./bin/panda -h
./bin/panda --version
./bin/panda --help-command=<command>
Read more about this here.
For the vertex enumeration problem:
./bin/panda
<OuterDescriptionFile>
[<SupplementaryInnerDescription>]
[<Order>]
[<Threads>]
[<IntegerType>]
[<Method>]
[<Check>]
For the facet enumeration problem:
./bin/panda
<InnerDescriptionFile>
[<SupplementaryOuterDescription>]
[<Order>]
[<Threads>]
[<IntegerType>]
[<Method>]
[<Check>]
Rule for SupplementaryInnerDescription
(-k⎵ | --known-data= | --known-vertices=) <SupplementaryInnerDescriptionFile>
Rule for SupplementaryOuterDescription
(-k⎵ | --known-data= | --known-inequalities=) <SupplementaryOuterDescriptionFile>
Rule for Order
(-s⎵ | --sorting=)<Argument>
Valid values for
Argument:"lex_asc" / "lexicographic_ascending""lex_desc" / "lexicographic_descending""nz_asc" / "nonzero_ascending""nz_desc" / "nonzero_descending""rev" / "reverse"
Rule for Thread
(-t⎵ | --threads=)<PositiveInteger>
Rule for IntegerType
(-i⎵ | --integer-type=)<Argument>
Valid values for
Argument:163264infsafe
Rule for Method
(-m⎵ | --method=)<Argument>
Valid values for
Argument:"adjacency-decomposition" / "ad" (default)"double-description" / "dd"
Rule for Check
(-c | --check)
Legend
[X]: X is optional.(X|Y|Z): One of X, Y or Z is present.(A-E): Any ASCII symbol between symbol A and E.X*: X may occur any number of times (including zero).