package acgtk

You can search for identifiers within the package.

in-package search v0.2.0

package acgtk

ACGtk documentation index
- ACGtk developper documentation
- Scripting language
- ACGtk user documentation
- Library acgtk.acgData
  - AcgData
    
    Acg_lexicon
    
    Log
    
    MagicLog
    
    ParsingLog
    
    Data_Lexicon
    
    Environment
    
    Environment
    
    Errors
    
    Environment_l
    
    EnvironmentErrors
    
    Lexicon_l
    
    LexiconErrors
    
    Type_l
    
    TypeErrors
    
    Cmd_l
    
    CmdErrors
    
    Reduction
    
    Log
    
    Make
    
    Signature
    
    Log
    
    Data_Signature
    
    Type_system
    
    Log
    
    SIG_ACCESS
    
    Type_System
    
    Make
- Library acgtk.containers
  - Containers
    
    ListContext
    
    Resumptions
    
    Resumptions_sig
    
    Make
    
    SharedForest
    
    Log
    
    Make
    
    Resumptions
    
    SharedForest
    
    Resumptions
    
    TreeContext
    
    Tree
    
    TreeContext
    
    Weight
    
    Weight_sig
    
    WMap
    
    Weight_as_Depth
    
    WMap
    
    Weight_as_Depth_and_Size
    
    WMap
- Library acgtk.datalogLib
  - DatalogLib
    
    ArrayTraversal
    
    Evaluator_TYPE
    
    Make
    
    Evaluator_TYPE2
    
    CellSet
    
    Make2
    
    Datalog
    
    ASPred
    
    TermSet
    
    PredIdMap
    
    PredIdTable
    
    PredIds
    
    ASRule
    
    Rules
    
    RuleMap
    
    ASProg
    
    Log
    
    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
    
    Log
    
    VarGen
    
    IdMap
    
    Table
    
    ConstGen
    
    IdMap
    
    Table
    
    RuleIdMap
    
    AbstractSyntax
    
    Predicate
    
    TermSet
    
    PredIdMap
    
    PredIdTable
    
    PredIds
    
    Proto_Rule
    
    Rule
    
    Rules
    
    RuleMap
    
    Proto_Program
    
    Program
    
    Dl_lexer
    
    Dl_parse_functions
    
    Dl_parser
    
    MenhirInterpreter
    
    Incremental
    
    Errors
    
    Messages
    
    PersistentArray
    
    PersistentArray
    
    UnionFind
    
    Log
    
    S
    
    Store
    
    Make
    
    StoreAsMap
- Library acgtk.dump
  - Dump
    
    AcgEnv
    
    Log
- Library acgtk.grammars
  - Grammars
    
    AcgcLog
    
    Data_lexer
    
    Data_parser
    
    MenhirInterpreter
    
    Incremental
    
    Errors
    
    Lexing_l
    
    LexingErrors
    
    Parsing_l
    
    ParsingErrors
    
    Messages
    
    Parsers
    
    Term_sequence
    
    Log
    
    Term_sequence_parser
    
    SMap
- Library acgtk.logic
  - Logic
    
    Abstract_syntax
    
    Abstract_syntax
    
    Lambda
    
    Lambda
    
    TypeInference
    
    Log
    
    Type
    
    VarUnionFind
    
    Log
    
    UF
- Library acgtk.magicRewriting
  - MagicRewriting
    
    Adornment
    
    ASPred
    
    Magic
    
    ASPred
    
    ASProg
    
    Log
    
    Rewriting
    
    Log
    
    ASProg
    
    ASPred
    
    ASRule
    
    QueryMap
    
    Rgg
    
    ASProg
    
    ASPred
    
    ASRule
    
    Log
    
    Rg_graph
    
    V
    
    E
    
    Unique_binding
    
    ASPred
    
    ASRule
    
    ASProg
    
    Log
    
    AdPredMap
    
    AdornmentTrie
- Library acgtk.scripting
  - Scripting
    
    AcgLog
    
    CodeParser
    
    Completion
    
    Config
    
    Environment
    
    AcgEnv
    
    AcgSig
    
    AcgLex
    
    Errors
    
    Lexing_o
    
    Syntax_l
    
    SyntaxErrors
    
    Lexing_l
    
    LexingErrors
    
    Type_l
    
    TypeErrors
    
    Script_l
    
    ScriptErrors
    
    Functions
    
    Interpreter
    
    Lexer
    
    Parser
    
    ParserMessages
    
    TableParser
    
    MenhirInterpreter
    
    Incremental
    
    Value
    
    AcgSig
- Library acgtk.svg_rendering
  - Svg_rendering
    
    Diagram
    
    Rendering_config
    
    Show
    
    Lambda_show
    
    Make
    
    Show_colors_solarized_dark
    
    Show_embellish_examples
    
    Make
    
    Show_exts
    
    Show_text_sig
    
    Show_colors_sig
    
    Show_embellish_sig
    
    Show_text_dejavu
    
    Tree
- Library acgtk.utilsLib
  - UtilsLib
    
    DependencyManager
    
    Manager_sig
    
    Make
    
    Error
    
    ERROR_MANAGER
    
    ERROR_HANDLER
    
    ErrorManager
    
    Focused_list
    
    Focused_list
    
    IdGenerator
    
    Log
    
    CorrespondanceTableTYPE
    
    IdGen_TYPE
    
    IdMap
    
    Table
    
    IdType
    
    IdGen
    
    IdMap
    
    Table
    
    IntIdGen
    
    IdMap
    
    Table
    
    LazyList
    
    MessageMg
    
    MSG
    
    Make
    
    New_weight
    
    Weight_sig
    
    WMap
    
    Weight_as_Depth
    
    WMap
    
    Weight_as_Depth_and_Size
    
    WMap
    
    MapMake
    
    Product
    
    Elt
    
    Make
    
    Table
    
    BASE
    
    TABLE
    
    Make_table
    
    Timer
    
    Tries
    
    Tries
    
    Utils
    
    StringSet
    
    StringMap
    
    IntMap
    
    IntSet
    
    Version
    
    Warnings
    
    Xlog
    
    MyLOG
    
    Make
- Sources
  - acgtk.acgData
    
    acgData.ml
    
    acg_lexicon.ml
    
    environment.ml
    
    errors.ml
    
    reduction.ml
    
    signature.ml
    
    type_system.ml
  - acgtk.containers
    
    containers.ml
    
    listContext.ml
    
    resumptions.ml
    
    sharedForest.ml
    
    treeContext.ml
    
    weight.ml
  - acgtk.datalogLib
    
    arrayTraversal.ml
    
    datalog.ml
    
    datalogLib.ml
    
    datalog_AbstractSyntax.ml
    
    dl_lexer.ml
    
    dl_parse_functions.ml
    
    dl_parser.ml
    
    messages.ml
    
    persistentArray.ml
    
    unionFind.ml
  - acgtk.dump
    
    dump.ml
  - acgtk.grammars
    
    acgcLog.ml
    
    data_lexer.ml
    
    data_parser.ml
    
    errors.ml
    
    grammars.ml
    
    messages.ml
    
    parsers.ml
    
    term_sequence.ml
    
    term_sequence_parser.ml
  - acgtk.logic
    
    abstract_syntax.ml
    
    lambda.ml
    
    logic.ml
    
    typeInference.ml
    
    varUnionFind.ml
  - acgtk.magicRewriting
    
    adornment.ml
    
    magic.ml
    
    magicRewriting.ml
    
    rewriting.ml
    
    rgg.ml
    
    unique_binding.ml
  - acgtk.scripting
    
    acgLog.ml
    
    codeParser.ml
    
    completion.ml
    
    config.ml
    
    environment.ml
    
    errors.ml
    
    functions.ml
    
    interpreter.ml
    
    lexer.ml
    
    parser.ml
    
    parserMessages.ml
    
    scripting.ml
    
    tableParser.ml
    
    value.ml
  - acgtk.svg_rendering
    
    diagram.ml
    
    rendering_config.ml
    
    show.ml
    
    show_colors_solarized_dark.ml
    
    show_embellish_examples.ml
    
    show_exts.ml
    
    show_text_dejavu.ml
    
    svg_rendering.ml
    
    tree.ml
  - acgtk.utilsLib
    
    dependencyManager.ml
    
    error.ml
    
    focused_list.ml
    
    idGenerator.ml
    
    lazyList.ml
    
    messageMg.ml
    
    new_weight.ml
    
    product.ml
    
    table.ml
    
    timer.ml
    
    tries.ml
    
    utils.ml
    
    utilsLib.ml
    
    version.ml
    
    warnings.ml
    
    xlog.ml

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

Module `Scripting.Value`Source

Sourcemodule AcgSig = AcgData.Signature.Data_Signature

Sourcetype vterm =

| StringTerm of string * UtilsLib.Error.pos
| RealTerm of AcgSig.t * Logic.Lambda.Lambda.term * Logic.Lambda.Lambda.stype * Containers.SharedForest.SharedForest.weight option

Sourcetype value = vterm UtilsLib.LazyList.t

Source

val get_term_value_in_sig : 
  AcgSig.t ->
  vterm ->
  Logic.Lambda.Lambda.term * Logic.Lambda.Lambda.stype

Sourceval value_from_string : string -> UtilsLib.Error.pos -> value

Sourceval print : bool -> value -> unit

package acgtk

Module Scripting.ValueSource

Module `Scripting.Value`Source