Module SolverregistrySource

Sourcetype automata_class =
  1. | NbaClass
  2. | DbaClass
  3. | NpaClass
  4. | DpaClass
  5. | NbvpaClass
  6. | DbvpaClass
  7. | NpvpaClass
  8. | DpvpaClass
Sourceval format_automata_class : automata_class -> string
Sourceval automata_class_match : Tcsautomataparser.automata_type -> automata_class -> bool
Sourcemodule UniversalitySolvers : sig ... end
Sourcemodule SubsumptionSolvers : sig ... end