SortStrategy
SortStrategy => n
-- an option for
resolution
which specifies the strategy to be used for sorting S-pairs.
Not implemented yet.
Go to
main index
.
Go to
concepts index
.