package acgtk

You can search for identifiers within the package.

in-package search v0.2.0

package acgtk

acgtk
- Library acgtkLib.acgData
  - AcgData
    
    Acg_lexicon
    
    Data_Lexicon
    
    Signature
    
    Environment
    
    Environment_sig
    
    Signature1
    
    Lexicon
    
    Signature
    
    Environment
    
    Signature1
    
    Lexicon
    
    Signature
    
    Error
    
    Interface
    
    Signature_sig
    
    Lexicon_sig
    
    Signature
    
    Reduction
    
    Make
    
    Signature
    
    Data_Signature
    
    Type_system
    
    SIG_ACCESS
    
    Type_System
    
    Make
- Library acgtkLib.datalogLib
  - DatalogLib
    
    ArrayTraversal
    
    Evaluator_TYPE
    
    Make
    
    Evaluator_TYPE2
    
    CellSet
    
    Make2
    
    Datalog
    
    ASPred
    
    PredIdMap
    
    PredIdTable
    
    PredIds
    
    ASRule
    
    Rules
    
    RuleMap
    
    ASProg
    
    Datalog_Sig
    
    UF
    
    Predicate
    
    PredMap
    
    FactSet
    
    PredicateMap
    
    Premise
    
    PremiseSet
    
    Rule
    
    FactArray
    
    Rules
    
    Program
    
    Make
    
    UF
    
    Predicate
    
    PredMap
    
    FactSet
    
    PredicateMap
    
    Premise
    
    PremiseSet
    
    Rule
    
    FactArray
    
    Rules
    
    Program
    
    Datalog
    
    UF
    
    Predicate
    
    PredMap
    
    FactSet
    
    PredicateMap
    
    Premise
    
    PremiseSet
    
    Rule
    
    FactArray
    
    Rules
    
    Program
    
    Datalog_AbstractSyntax
    
    VarGen
    
    IdMap
    
    Table
    
    ConstGen
    
    IdMap
    
    Table
    
    AbstractSyntax
    
    Predicate
    
    PredIdMap
    
    PredIdTable
    
    PredIds
    
    Proto_Rule
    
    Rule
    
    Rules
    
    RuleMap
    
    Proto_Program
    
    Program
    
    Db_lexer
    
    Db_parser
    
    DlError
    
    E
    
    Error
    
    Dl_lexer
    
    Dl_parse_functions
    
    Dl_parser
    
    MenhirInterpreter
    
    Incremental
    
    Messages
    
    PersistentArray
    
    PersistentArray
    
    UnionFind
    
    S
    
    Store
    
    Make
    
    StoreAsMap
- Library acgtkLib.logic
  - Logic
    
    Abstract_syntax
    
    Abstract_syntax
    
    Lambda
    
    Lambda
    
    TypeInference
    
    Type
    
    VarUnionFind
    
    UF
- Library acgtkLib.utilsLib
  - UtilsLib
    
    DependencyManager
    
    Manager_sig
    
    Make
    
    ErrorMg
    
    E
    
    ERROR
    
    Make
    
    Focused_list
    
    Focused_list
    
    IdGenerator
    
    CorrespondanceTableTYPE
    
    IdGen_TYPE
    
    IdMap
    
    Table
    
    IdType
    
    IdGen
    
    IdMap
    
    Table
    
    IntIdGen
    
    IdMap
    
    Table
    
    Log
    
    SharedForest
    
    SharedForest
    
    Log
    
    Table
    
    BASE
    
    TABLE
    
    Make_table
    
    Tries
    
    Tries
    
    Utils
    
    StringSet
    
    StringMap
    
    IntMap
    
    IntSet
    
    Version
    
    Warnings
- Sources
  - acgtkLib.acgData
    
    acgData.ml
    
    acg_lexicon.ml
    
    environment.ml
    
    error.ml
    
    interface.ml
    
    reduction.ml
    
    signature.ml
    
    type_system.ml
  - acgtkLib.datalogLib
    
    arrayTraversal.ml
    
    datalog.ml
    
    datalogLib.ml
    
    datalog_AbstractSyntax.ml
    
    db_lexer.ml
    
    db_parser.ml
    
    dlError.ml
    
    dl_lexer.ml
    
    dl_parse_functions.ml
    
    dl_parser.ml
    
    messages.ml
    
    persistentArray.ml
    
    unionFind.ml
  - acgtkLib.logic
    
    abstract_syntax.ml
    
    lambda.ml
    
    logic.ml
    
    typeInference.ml
    
    varUnionFind.ml
  - acgtkLib.utilsLib
    
    dependencyManager.ml
    
    errorMg.ml
    
    focused_list.ml
    
    idGenerator.ml
    
    log.ml
    
    sharedForest.ml
    
    table.ml
    
    tries.ml
    
    utils.ml
    
    utilsLib.ml
    
    version.ml
    
    warnings.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `DatalogLib.Dl_parser`Source

Sourcetype token =

| SLASH of UtilsLib.ErrorMg.location
| RPAR of UtilsLib.ErrorMg.location
| QUESTION_MARK of UtilsLib.ErrorMg.location
| LPAR of UtilsLib.ErrorMg.location
| INT of int * UtilsLib.ErrorMg.location
| IDENT of string * UtilsLib.ErrorMg.location
| FROM of UtilsLib.ErrorMg.location
| EOI
| DOT of UtilsLib.ErrorMg.location
| COMMA of UtilsLib.ErrorMg.location

Sourceexception Error

Source

val rule : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  Datalog_AbstractSyntax.AbstractSyntax.Proto_Program.t ->
  Datalog_AbstractSyntax.AbstractSyntax.Proto_Program.t

Source

val query : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  (Datalog_AbstractSyntax.AbstractSyntax.Predicate.PredIdTable.table
   * Datalog_AbstractSyntax.ConstGen.Table.table) ->
  Datalog_AbstractSyntax.AbstractSyntax.Predicate.predicate
  * Datalog_AbstractSyntax.AbstractSyntax.Predicate.PredIdTable.table
  * Datalog_AbstractSyntax.ConstGen.Table.table

Source

val program : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  Datalog_AbstractSyntax.AbstractSyntax.Proto_Program.t ->
  Datalog_AbstractSyntax.AbstractSyntax.Proto_Program.t

Source

val extensional_facts : 
  (Lexing.lexbuf -> token) ->
  Lexing.lexbuf ->
  (Datalog_AbstractSyntax.AbstractSyntax.Predicate.PredIdTable.table
   * Datalog_AbstractSyntax.ConstGen.Table.table
   * UtilsLib.IdGenerator.IntIdGen.t) ->
  Datalog_AbstractSyntax.AbstractSyntax.Rule.rule list
  * Datalog_AbstractSyntax.ConstGen.Table.table
  * UtilsLib.IdGenerator.IntIdGen.t

Sourcemodule MenhirInterpreter : sig ... end

Sourcemodule Incremental : sig ... end

package acgtk

Module DatalogLib.Dl_parserSource

Module `DatalogLib.Dl_parser`Source