package DAGaml

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package DAGaml

DAGaml
- DAGaml
  - AQEOPS
    
    MSig
    
    F
    
    OfQEOPS
    
    F
    
    Q
    
    F
  - AriUbdag
    
    BottomUp_NOC
    
    M
    
    M
    
    M
    
    OfF
    
    ToF
    
    BottomUp_NOC_MSig
    
    M
    
    M
    
    OfF
    
    ToF
    
    EXPORT
    
    M
    
    M
    
    M
    
    OfF
    
    ToF
    
    EXPORT_CACHED
    
    M
    
    M
    
    M
    
    OfF
    
    ToF
    
    EXPORT_MSig
    
    M
    
    M
    
    OfF
    
    ToF
    
    EXPORT_NOC
    
    M
    
    M
    
    M
    
    OfF
    
    ToF
    
    EXPORT_NOC_MSig
    
    M
    
    M
    
    OfF
    
    ToF
    
    MSig
    
    Make
    
    BR
    
    BRE
    
    BW
    
    M
    
    M0
    
    OfF
    
    ToF
    
    OOO_MAP
    
    M0
    
    DST
    
    M
    
    OfF
    
    ToF
    
    SRC
    
    M
    
    OfF
    
    ToF
    
    OOO_MAP_MSig
    
    DST
    
    M
    
    OfF
    
    ToF
    
    SRC
    
    M
    
    OfF
    
    ToF
    
    REMAN
    
    M
    
    M
    
    OfF
    
    ToF
    
    SEM_MAP
    
    M0
    
    DST
    
    M
    
    OfF
    
    ToF
    
    SRC
    
    M
    
    OfF
    
    ToF
    
    SEM_MAP_CACHED
    
    M0
    
    DST
    
    M
    
    OfF
    
    ToF
    
    SRC
    
    M
    
    OfF
    
    ToF
    
    SEM_MAP_MSig
    
    DST
    
    M
    
    OfF
    
    ToF
    
    SRC
    
    M
    
    OfF
    
    ToF
    
    Sig
    
    M
    
    OfF
    
    ToF
    
    TO_DOT
    
    EXP
    
    M
    
    M
    
    M
    
    OfF
    
    ToF
    
    M0
    
    M
    
    M
    
    OfF
    
    ToF
    
    MSig
    
    TO_DOT_MSig
    
    M
    
    M
    
    OfF
    
    ToF
  - AriUbdagT
    
    IMPORT
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    MSig
    
    M
    
    Make
    
    G
    
    BR
    
    BRE
    
    BW
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    M
    
    PEVAL
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    PEVAL_CACHED
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    PEVAL_MSig
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    PEVAL_SIG
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    REWRITE
    
    M0
    
    M
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    REWRITE_CACHED
    
    M0
    
    M
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    REWRITE_MSig
    
    M
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    STDIO
    
    G1
    
    G
    
    BR
    
    BRE
    
    BW
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    IMPORT
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    M1
    
    M
    
    REMAN
    
    Sig
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
  - AriUbdagTC
    
    BINOP
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    BINOP_CACHED
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    BINOP_MSig
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    EBINOP
    
    M
    
    M
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    M
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    EBINOP_CACHED
    
    M
    
    M
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    M
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    EBINOP_MSig
    
    M
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    EXPORT
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    EXPORT_CACHED
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    EXPORT_MSig
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    EXPORT_NOC
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    EXPORT_NOC_MSig
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    IMPORT
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    IMPORT_CACHED
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    MSig
    
    M
    
    Make
    
    G
    
    BR
    
    BRE
    
    BW
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    M
    
    PEVAL
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    PEVAL_CACHED
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    PEVAL_MSig
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    PEVAL_Sig
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    QUANT
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    QUANT_CACHED
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    QUANT_MSig
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    QUANT_Sig
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    STDIO
    
    G1
    
    G
    
    BR
    
    BRE
    
    BW
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    IMPORT
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    M1
    
    M
    
    REMAN
    
    Sig
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
  - BinUbdag
    
    BottomUp_NOC
    
    M
    
    M
    
    M
    
    OfF
    
    ToF
    
    BottomUp_NOC_MSig
    
    M
    
    M
    
    OfF
    
    ToF
    
    EXPORT
    
    M
    
    M
    
    M
    
    OfF
    
    ToF
    
    EXPORT_CACHED
    
    M
    
    M
    
    M
    
    OfF
    
    ToF
    
    EXPORT_MSig
    
    M
    
    M
    
    OfF
    
    ToF
    
    EXPORT_NOC
    
    M
    
    M
    
    M
    
    OfF
    
    ToF
    
    EXPORT_NOC_MSig
    
    M
    
    M
    
    OfF
    
    ToF
    
    MSig
    
    Make
    
    BR
    
    BRE
    
    BW
    
    M
    
    M0
    
    OfF
    
    ToF
    
    OOO_MAP
    
    M0
    
    DST
    
    M
    
    OfF
    
    ToF
    
    SRC
    
    M
    
    OfF
    
    ToF
    
    OOO_MAP_MSig
    
    DST
    
    M
    
    OfF
    
    ToF
    
    SRC
    
    M
    
    OfF
    
    ToF
    
    REMAN
    
    M
    
    M
    
    OfF
    
    ToF
    
    SEM_MAP
    
    M0
    
    DST
    
    M
    
    OfF
    
    ToF
    
    SRC
    
    M
    
    OfF
    
    ToF
    
    SEM_MAP_CACHED
    
    M0
    
    DST
    
    M
    
    OfF
    
    ToF
    
    SRC
    
    M
    
    OfF
    
    ToF
    
    SEM_MAP_MSig
    
    DST
    
    M
    
    OfF
    
    ToF
    
    SRC
    
    M
    
    OfF
    
    ToF
    
    Sig
    
    M
    
    OfF
    
    ToF
    
    TO_DOT
    
    EXP
    
    M
    
    M
    
    M
    
    OfF
    
    ToF
    
    M0
    
    M
    
    M
    
    OfF
    
    ToF
    
    MSig
    
    TO_DOT_MSig
    
    M
    
    M
    
    OfF
    
    ToF
  - BinUbdagT
    
    IMPORT
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    MSig
    
    M
    
    Make
    
    G
    
    BR
    
    BRE
    
    BW
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    M
    
    PEVAL
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    PEVAL_CACHED
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    PEVAL_MSig
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    PEVAL_SIG
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    REWRITE
    
    M0
    
    M
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    REWRITE_CACHED
    
    M0
    
    M
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    REWRITE_MSig
    
    M
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    STDIO
    
    G1
    
    G
    
    BR
    
    BRE
    
    BW
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    IMPORT
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    M1
    
    M
    
    REMAN
    
    Sig
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
  - BinUbdagTC
    
    BINOP
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    BINOP_CACHED
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    BINOP_MSig
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    EBINOP
    
    M
    
    M
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    M
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    EBINOP_CACHED
    
    M
    
    M
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    M
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    EBINOP_MSig
    
    M
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    EXPORT
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    EXPORT_CACHED
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    EXPORT_MSig
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    EXPORT_NOC
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    EXPORT_NOC_MSig
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    IMPORT
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    IMPORT_CACHED
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    MSig
    
    M
    
    Make
    
    G
    
    BR
    
    BRE
    
    BW
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    M
    
    PEVAL
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    PEVAL_CACHED
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    PEVAL_MSig
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    PEVAL_Sig
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    QUANT
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    QUANT_CACHED
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    M0
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    QUANT_MSig
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    QUANT_Sig
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    STDIO
    
    G1
    
    G
    
    BR
    
    BRE
    
    BW
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    IMPORT
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    M1
    
    M
    
    REMAN
    
    Sig
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
  - CmdTypes
  - CmdUtils
    
    OfExpr
    
    PrettyToS
    
    ToExpr
  - Cnax
    
    CNAX
    
    BR
    
    BW
    
    G1
    
    G
    
    BR
    
    BRE
    
    BW
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    IMPORT
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    M0
    
    M1
    
    REMAN
    
    RENAME
    
    RENAME_MODELE
    
    TEVAL
    
    TEVAL_MODELE
    
    TO_CNF
    
    TO_CNF_MODELE
    
    TO_DOT
    
    EXP
    
    M
    
    M
    
    M
    
    OfF
    
    ToF
    
    MSig
    
    TO_DOT_MODELE
    
    TO_NAX
    
    TO_NAX_MODELE
    
    OfBStream
    
    ToBStream
  - CnaxOops
    
    OOPS
    
    F
    
    LoadCnf0
    
    G0
    
    F
    
    LoadCnfA
    
    G0
    
    F
    
    M0
    
    F
    
    SUInt
    
    G0
    
    F
    
    VUInt
    
    G0
    
    F
  - CnfTypes
    
    ToS
  - CnfUtils
    
    ToS
    
    ToSTree
  - Conv
  - ConvArgsTypes
  - ConvCore
    
    BPure_to_Ext
    
    Ext_to_BPure
    
    Ext_to_Ext
  - ConvTypes
  - ConvTypesDump
  - ConvTypesLoad
  - ConvUtils
  - Expr
    
    ToS
  - IoTypes
  - IoUtils
    
    OfBStream
    
    OfF
    
    ToBStream
    
    ToF
  - Ldd_B_o_c10
    
    ComposeOops
    
    GO
    
    F
    
    MO
    
    F
    
    Modele
    
    Module
    
    LDD
    
    AND
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MOD
    
    BR
    
    BW
    
    G1
    
    G
    
    BR
    
    BRE
    
    BW
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    IFF
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MOD
    
    IMPORT
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    M0
    
    M1
    
    OOPS
    
    LoadCnfA
    
    G0
    
    F
    
    M0
    
    F
    
    OOPS_GC
    
    LoadCnfA
    
    G0
    
    F
    
    M0
    
    F
    
    OR
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MOD
    
    REMAN
    
    TO_DOT
    
    EXP
    
    M
    
    M
    
    M
    
    OfF
    
    ToF
    
    M0
    
    MSig
    
    XOR
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MOD
    
    OfExpr
    
    GO
    
    F
    
    OfBStream
    
    OfF
    
    ToBStream
    
    ToF
    
    ToCnax
    
    GO
    
    F
    
    Modele
    
    Module
  - Ldd_B_o_c10_gops
    
    IoB
    
    OfB
    
    OfBStream
    
    OfBa
    
    ToB
    
    ToBStream
    
    ToBa
    
    ToS
  - Ldd_B_o_c10_types
  - Ldd_B_o_nu
    
    ComposeOops
    
    GO
    
    F
    
    MO
    
    F
    
    Modele
    
    Module
    
    LDD
    
    AND
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MOD
    
    BR
    
    BW
    
    G1
    
    G
    
    BR
    
    BRE
    
    BW
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    IMPORT
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    M0
    
    M1
    
    OOPS
    
    LoadCnfA
    
    G0
    
    F
    
    M0
    
    F
    
    OOPS_GC
    
    LoadCnfA
    
    G0
    
    F
    
    M0
    
    F
    
    REMAN
    
    TO_DOT
    
    EXP
    
    M
    
    M
    
    M
    
    OfF
    
    ToF
    
    M0
    
    MSig
    
    TO_O_U
    
    M0
    
    XOR
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MOD
    
    OfExpr
    
    GO
    
    F
    
    OfBStream
    
    OfF
    
    ToBStream
    
    ToF
    
    ToCnax
    
    GO
    
    F
    
    Modele
    
    Module
  - Ldd_B_o_nu_gops
    
    IoB
    
    OfB
    
    OfBStream
    
    OfBa
    
    ToB
    
    ToBStream
    
    ToBa
    
    ToS
  - Ldd_B_o_nu_types
  - Ldd_B_o_nucx
    
    ComposeOops
    
    GO
    
    F
    
    MO
    
    F
    
    Modele
    
    Module
    
    LDD
    
    AND
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MOD
    
    BR
    
    BW
    
    G1
    
    G
    
    BR
    
    BRE
    
    BW
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    IMPORT
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    M0
    
    M1
    
    OOPS
    
    LoadCnfA
    
    G0
    
    F
    
    M0
    
    F
    
    OOPS_GC
    
    LoadCnfA
    
    G0
    
    F
    
    M0
    
    F
    
    REMAN
    
    TO_DOT
    
    EXP
    
    M
    
    M
    
    M
    
    OfF
    
    ToF
    
    M0
    
    MSig
    
    XOR
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MOD
    
    OfExpr
    
    GO
    
    F
    
    OfBStream
    
    OfF
    
    ToBStream
    
    ToF
    
    ToCnax
    
    GO
    
    F
    
    Modele
    
    Module
  - Ldd_B_o_nucx_gops
    
    IoB
    
    OfB
    
    OfBStream
    
    OfBa
    
    ToB
    
    ToBStream
    
    ToBa
    
    ToS
  - Ldd_B_o_nucx_types
  - Ldd_B_o_u
    
    ComposeOops
    
    GO
    
    F
    
    MO
    
    F
    
    Modele
    
    Module
    
    LDD
    
    AND
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MOD
    
    BR
    
    BW
    
    G1
    
    G
    
    BR
    
    BRE
    
    BW
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    IMPORT
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    M0
    
    M1
    
    OOPS
    
    LoadCnfA
    
    G0
    
    F
    
    M0
    
    F
    
    OOPS_GC
    
    LoadCnfA
    
    G0
    
    F
    
    M0
    
    F
    
    REMAN
    
    TO_DOT
    
    EXP
    
    M
    
    M
    
    M
    
    OfF
    
    ToF
    
    M0
    
    MSig
    
    TO_HR
    
    TO_HR_MODELE
    
    XOR
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MOD
    
    OfExpr
    
    GO
    
    F
    
    OfBStream
    
    OfF
    
    ToBStream
    
    ToF
    
    ToCnax
    
    GO
    
    F
    
    Modele
    
    Module
  - Ldd_B_o_u_gops
    
    IoB
    
    OfB
    
    OfBStream
    
    OfBa
    
    ToB
    
    ToBStream
    
    ToBa
    
    ToS
  - Ldd_B_o_u_types
  - Ldd_B_o_uc0
    
    ComposeOops
    
    GO
    
    F
    
    MO
    
    F
    
    Modele
    
    Module
    
    LDD
    
    AND
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MOD
    
    BR
    
    BW
    
    G1
    
    G
    
    BR
    
    BRE
    
    BW
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    IMPORT
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    M0
    
    M1
    
    OOPS
    
    LoadCnfA
    
    G0
    
    F
    
    M0
    
    F
    
    OOPS_GC
    
    LoadCnfA
    
    G0
    
    F
    
    M0
    
    F
    
    OR
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MOD
    
    REMAN
    
    TO_DOT
    
    EXP
    
    M
    
    M
    
    M
    
    OfF
    
    ToF
    
    M0
    
    MSig
    
    XOR
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MOD
    
    OfExpr
    
    GO
    
    F
    
    OfBStream
    
    OfF
    
    ToBStream
    
    ToF
    
    ToCnax
    
    GO
    
    F
    
    Modele
    
    Module
  - Ldd_B_o_uc0_gops
    
    IoB
    
    OfB
    
    OfBStream
    
    OfBa
    
    ToB
    
    ToBStream
    
    ToBa
    
    ToS
  - Ldd_B_o_uc0_types
  - Ldd_B_u_nu
    
    ComposeOops
    
    GO
    
    F
    
    MO
    
    F
    
    Modele
    
    Module
    
    LDD
    
    AND
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MOD
    
    BR
    
    BW
    
    G1
    
    G
    
    BR
    
    BRE
    
    BW
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    IMPORT
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    M0
    
    M1
    
    OOPS
    
    LoadCnfA
    
    G0
    
    F
    
    M0
    
    F
    
    OOPS_GC
    
    LoadCnfA
    
    G0
    
    F
    
    M0
    
    F
    
    REMAN
    
    TO_DOT
    
    EXP
    
    M
    
    M
    
    M
    
    OfF
    
    ToF
    
    M0
    
    MSig
    
    XOR
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MOD
    
    OfExpr
    
    GO
    
    F
    
    OfBStream
    
    OfF
    
    ToBStream
    
    ToF
    
    ToCnax
    
    GO
    
    F
    
    Modele
    
    Module
  - Ldd_B_u_nu_gops
  - Ldd_B_u_nu_io
    
    IoB
    
    OfB
    
    OfBStream
    
    OfBa
    
    PrettyToS
    
    ToB
    
    ToBStream
    
    ToBa
    
    ToS
  - Ldd_B_u_nu_types
  - Ldd_B_u_nuc
    
    ComposeOops
    
    GO
    
    F
    
    MO
    
    F
    
    Modele
    
    Module
    
    LDD
    
    AND
    
    M
    
    M
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    BR
    
    BW
    
    G1
    
    G
    
    BR
    
    BRE
    
    BW
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    IMPORT
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    M0
    
    M1
    
    OOPS
    
    LoadCnfA
    
    G0
    
    F
    
    M0
    
    F
    
    OOPS_GC
    
    LoadCnfA
    
    G0
    
    F
    
    M0
    
    F
    
    PEVAL
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MOD
    
    REMAN
    
    TO_DOT
    
    EXP
    
    M
    
    M
    
    M
    
    OfF
    
    ToF
    
    M0
    
    MSig
    
    XOR
    
    M
    
    M
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    OfExpr
    
    GO
    
    F
    
    OfBStream
    
    OfF
    
    ToBStream
    
    ToF
    
    ToCnax
    
    GO
    
    F
    
    Modele
    
    Module
  - Ldd_B_u_nuc_gops
  - Ldd_B_u_nuc_io
    
    IoB
    
    OfB
    
    OfBStream
    
    OfBa
    
    PrettyToS
    
    ToB
    
    ToBStream
    
    ToBa
    
    ToS
  - Ldd_B_u_nuc_types
  - Ldd_B_u_nuc_utils
  - Ldd_B_u_nucx
    
    ComposeOops
    
    GO
    
    F
    
    MO
    
    F
    
    Modele
    
    Module
    
    LDD
    
    AND
    
    M
    
    M
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    BR
    
    BW
    
    G1
    
    G
    
    BR
    
    BRE
    
    BW
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    IMPORT
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    M0
    
    M1
    
    OOPS
    
    LoadCnfA
    
    G0
    
    F
    
    M0
    
    F
    
    OOPS_GC
    
    LoadCnfA
    
    G0
    
    F
    
    M0
    
    F
    
    PEVAL
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MOD
    
    REMAN
    
    TO_DOT
    
    EXP
    
    M
    
    M
    
    M
    
    OfF
    
    ToF
    
    M0
    
    MSig
    
    XOR
    
    M
    
    M
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    OfExpr
    
    GO
    
    F
    
    OfBStream
    
    OfF
    
    ToBStream
    
    ToF
    
    ToCnax
    
    GO
    
    F
    
    Modele
    
    Module
  - Ldd_B_u_nucx_andb
  - Ldd_B_u_nucx_check
  - Ldd_B_u_nucx_cons
  - Ldd_B_u_nucx_facto
  - Ldd_B_u_nucx_gops
  - Ldd_B_u_nucx_io
    
    AEval
    
    IoB
    
    OfB
    
    OfBStream
    
    OfBa
    
    PrettyToS
    
    ToB
    
    ToBStream
    
    ToBa
    
    ToS
  - Ldd_B_u_nucx_norm
  - Ldd_B_u_nucx_peval
  - Ldd_B_u_nucx_pull
  - Ldd_B_u_nucx_types
  - Ldd_B_u_nucx_utils
  - Ldd_B_u_nucx_xorb
  - Ldd_B_u_nux
    
    ComposeOops
    
    GO
    
    F
    
    MO
    
    F
    
    Modele
    
    Module
    
    LDD
    
    AND
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    BR
    
    BW
    
    G1
    
    G
    
    BR
    
    BRE
    
    BW
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    IMPORT
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    M0
    
    M1
    
    OOPS
    
    LoadCnfA
    
    G0
    
    F
    
    M0
    
    F
    
    OOPS_GC
    
    LoadCnfA
    
    G0
    
    F
    
    M0
    
    F
    
    REMAN
    
    TO_DOT
    
    EXP
    
    M
    
    M
    
    M
    
    OfF
    
    ToF
    
    M0
    
    MSig
    
    XOR
    
    M
    
    M
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    OfExpr
    
    GO
    
    F
    
    OfBStream
    
    OfF
    
    ToBStream
    
    ToF
    
    ToCnax
    
    GO
    
    F
    
    Modele
    
    Module
  - Ldd_B_u_nux_gops
  - Ldd_B_u_nux_io
    
    IoB
    
    OfB
    
    OfBStream
    
    OfBa
    
    PrettyToS
    
    ToB
    
    ToBStream
    
    ToBa
    
    ToS
  - Ldd_B_u_nux_types
  - LoadCnf
    
    Make0
    
    G0
    
    F
    
    M0
    
    F
    
    MakeA
    
    G0
    
    F
    
    M0
    
    F
    
    MakeQ
    
    G0
    
    F
    
    Q
    
    F
  - Nax
    
    NAX
    
    G1
    
    G
    
    BR
    
    BRE
    
    BW
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    IMPORT
    
    G
    
    G
    
    M
    
    OfF
    
    ToF
    
    M
    
    M
    
    MSig
    
    M0
    
    M1
    
    REMAN
    
    ToCmd
    
    EXP
    
    MODELE
    
    ToSysExpr
    
    EXP
    
    MODELE
  - NaxOops
  - NnfExpr
    
    ToS
  - OOPS
    
    MSig
    
    F
    
    Make
    
    F
    
    M0
    
    F
  - OfExprOfOops
    
    Make
    
    GO
    
    F
    
    OS
    
    F
    
    OfBStream
    
    OfF
    
    ToBStream
    
    ToF
  - OopsGcOfOops
    
    Make
    
    F
    
    OS
    
    F
  - QEOPS
    
    MSig
    
    F
  - RExpr
  - SUInt
    
    Make
    
    G0
    
    F
    
    M0
    
    F
  - StrDumpCmd
  - StrDumpCnf
  - StrDumpVerilog
  - StrLoadCmd
  - StrLoadCnf
  - StrLoadNnf
  - StrLoadPla
  - StrLoadVerilog
  - Subdag
    
    MSig
    
    Make
    
    CONS_VISITOR
    
    D0
    
    DUMP_NODE
    
    EDGE_VISITOR
    
    D0
    
    EUOP
    
    D0
    
    EVAL
    
    D0
    
    G
    
    H
    
    IBOP
    
    D0
    
    IBOP_BIDIR
    
    D0
    
    IBOP_EVAL
    
    D0
    
    IUOP
    
    D0
    
    MY_EUOP
    
    MY_MODELE_EUOP
    
    LOAD
    
    M
    
    M0
    
    MODELE
    
    MODELE_CONS_VISITOR
    
    MODELE_DUMP_EDGE
    
    MODELE_DUMP_NODE
    
    MODELE_EDGE_VISITOR
    
    MODELE_EUOP
    
    MODELE_EVAL
    
    MODELE_IBOP
    
    MODELE_IBOP_BIDIR
    
    MODELE_IBOP_EVAL
    
    MODELE_IUOP
    
    MODELE_LOAD_NODE
    
    MODELE_NODE_VISITOR
    
    MODELE_TO_DOT_NODE
    
    NODE_VISITOR
    
    D0
    
    TO_DOT_EDGE
  - TacxTypes
  - TaggedSubdag
    
    MSig
    
    Make
    
    DUMP_NODE
    
    EDGE_VISITOR
    
    D0
    
    G
    
    H
    
    IUOP
    
    D0
    
    IUOP2
    
    D0
    
    LOAD
    
    M
    
    M0
    
    MODELE
    
    MODELE_DUMP_NODE
    
    MODELE_EDGE_VISITOR
    
    MODELE_IUOP
    
    MODELE_IUOP2
    
    MODELE_LOAD_NODE
    
    MODELE_NODE_VISITOR
    
    MODELE_TO_DOT_EDGE
    
    NODE_VISITOR
    
    D0
    
    TO_DOT_EDGE
  - TaggedSubdagPropa
    
    MSig
    
    Make
    
    DUMP_NODE
    
    EDGE_VISITOR
    
    D0
    
    G
    
    H
    
    IUOP
    
    D0
    
    IUOP2
    
    D0
    
    LOAD
    
    M
    
    M0
    
    MODELE
    
    MODELE_DUMP_NODE
    
    MODELE_EDGE_VISITOR
    
    MODELE_IUOP
    
    MODELE_IUOP2
    
    MODELE_LOAD_NODE
    
    MODELE_NODE_VISITOR
    
    NODE_VISITOR
    
    D0
    
    TO_DOT_EDGE
    
    M0
  - TestBUtils
  - Ubdag
    
    Make
    
    H
    
    H0
    
    Sig
    
    H
  - Udag
    
    GraphMSig
    
    GraphSig
    
    MSig
    
    Make
    
    H
    
    MODELE_VISITOR
    
    VISITOR
    
    M0
    
    STree
    
    MODELE_VISITOR
    
    VISITOR
    
    M0
    
    STreeM
    
    String
    
    MODELE_VISITOR
    
    VISITOR
    
    M0
    
    StringM
  - VUInt
    
    Make
    
    G0
    
    F
    
    M0
    
    F

Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module M0 : SEM_MAP_MSig

Signature

type manager = {

src : M0.SRC.manager;
dst : M0.DST.manager;
man : (M0.SRC.ident, M0.SRC.ident, M0.DST.edge', GuaCaml.BTools.BArray.t) GuaCaml.MemoBTable.t;
map_next : M0.SRC.next' -> M0.DST.edge';
map_edge : M0.SRC.edge' -> M0.DST.edge';
map_node : M0.SRC.ident -> M0.DST.edge';

}

val makeman : M0.SRC.manager -> M0.DST.manager -> int -> manager

val newman : M0.SRC.manager -> M0.DST.manager -> manager

val man_next : manager -> M0.SRC.next' -> M0.DST.edge'

val man_edge : manager -> M0.SRC.edge' -> M0.DST.edge'

val man_node : manager -> M0.SRC.ident -> M0.DST.edge'