package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type extern_tag =
  1. | Verilog
  2. | Cnf
  3. | Cmd
  4. | QCnf
  5. | QCir
  6. | Nnf
  7. | Pla
  8. | BddH
type input_tag = unit
type output_tag =
  1. | Dot
  2. | Check
  3. | Stats
  4. | CntSat
  5. | AllSat
type modele_tag =
  1. | O_U
  2. | O_NU
  3. | O_C10
  4. | O_UC0
  5. | O_NUCX
  6. | U_NU
  7. | U_NUX
  8. | U_NUC
  9. | U_NUCX
  10. | L_NNUX
type tacx_pure =
  1. | Tacx
  2. | Pure
type version_tag =
  1. | VB
type file_tag =
  1. | Ext of extern_tag
  2. | ExtI of input_tag
  3. | ExtO of output_tag
  4. | Int of tacx_pure * modele_tag * version_tag