package electrod

You can search for identifiers within the package.

in-package search v0.2.0

package electrod

electrod
- Library electrod.libelectrod
  - Libelectrod
    
    Ast
    
    Ast_to_elo
    
    E
    
    Atom
    
    Domain
    
    Elo
    
    map
    
    fold
    
    Elo_recursor
    
    recursor
    
    Elo_to_ltl1
    
    G
    
    TS
    
    Make
    
    environment
    
    converter
    
    Elo_to_ltl_intf
    
    S
    
    Elo_to_model1
    
    S
    
    Make
    
    Elo_to_smv1
    
    SMV_atom
    
    SMV_LTL
    
    Atomic
    
    Infix
    
    SMV_file_format
    
    Elo_to_SMV_LTL
    
    environment
    
    converter
    
    Elo_to_SMV_model
    
    Exp_bounds
    
    Fmtc
    
    Dump
    
    Gen_goal
    
    map
    
    fold
    
    Gen_goal_recursor
    
    recursor
    
    Instance
    
    Intf
    
    Print
    
    S
    
    Mixin
    
    COMPARE
    
    Invar_computation
    
    Location
    
    Msg
    
    Location
    
    LoggingSetup
    
    M
    
    Extract
    
    Fatal
    
    Warn
    
    Name
    
    Map
    
    Outcome
    
    Parser
    
    Parser_main
    
    Raw
    
    Raw_ident
    
    Raw_to_ast
    
    Relation
    
    Scanner
    
    Scope
    
    Scripts
    
    Shortnames
    
    Simplify1
    
    TS
    
    L
    
    simplify
    
    Simplify2
    
    TS
    
    simplify
    
    Smv
    
    Make_SMV_LTL
    
    Atomic
    
    Infix
    
    Make_SMV_file_format
    
    Smv_trace_parser
    
    Make
    
    Smv_trace_scanner
    
    Smv_trace_tokens
    
    Solver
    
    ATOMIC_PROPOSITION
    
    LTL
    
    Atomic
    
    Infix
    
    LTL_from_Atomic
    
    Atomic
    
    Infix
    
    MODEL
    
    Symbol
    
    Symmetry
    
    Transfo
    
    Tuple
    
    Set
    
    Tuple_set
    
    Var
- Sources
  - electrod.libelectrod
    
    Ast.ml
    
    Ast_to_elo.ml
    
    Atom.ml
    
    Domain.ml
    
    Elo.ml
    
    Elo_recursor.ml
    
    Elo_to_ltl1.ml
    
    Elo_to_ltl_intf.ml
    
    Elo_to_model1.ml
    
    Elo_to_smv1.ml
    
    Exp_bounds.ml
    
    Fmtc.ml
    
    Gen_goal.ml
    
    Gen_goal_recursor.ml
    
    Instance.ml
    
    Intf.ml
    
    Invar_computation.ml
    
    Location.ml
    
    Msg.ml
    
    Name.ml
    
    Outcome.ml
    
    Parser.ml
    
    Parser_main.ml
    
    Raw.ml
    
    Raw_ident.ml
    
    Raw_to_ast.ml
    
    Relation.ml
    
    Scanner.ml
    
    Scope.ml
    
    Scripts.ml
    
    Shortnames.ml
    
    Simplify1.ml
    
    Simplify2.ml
    
    Smv.ml
    
    Smv_trace_parser.ml
    
    Smv_trace_scanner.ml
    
    Smv_trace_tokens.ml
    
    Solver.ml
    
    Symbol.ml
    
    Symmetry.ml
    
    Transfo.ml
    
    Tuple.ml
    
    Tuple_set.ml
    
    Var.ml
    
    libelectrod.ml

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

Module `Libelectrod.Ast_to_elo`Source

Sourcemodule E = Elo

Sourceval convert_arity : int option -> int

Sourceval get_var : Var.t -> Var.t Containers.List.t -> int

Sourceval new_env : Ast.var list -> Var.t list -> Var.t list

Source

val convert_fml : 
  Var.t Containers.List.t ->
  (Ast.var, Ast.ident) Gen_goal.fml ->
  E.fml

Source

val convert_block : 
  Var.t Containers.List.t ->
  (Ast.var, Ast.ident) Gen_goal.block ->
  E.fml Containers.List.t

Sourceval convert_quant : Gen_goal.quant -> E.quant

Sourceval convert_comp_op : Gen_goal.comp_op -> E.comp_op

Sourceval convert_icomp_op : Gen_goal.icomp_op -> E.icomp_op

Sourceval convert_lunop : Gen_goal.lunop -> E.lunop

Sourceval convert_lbinop : Gen_goal.lbinop -> E.lbinop

Source

val convert_exp : 
  Var.t Containers.List.t ->
  (Ast.var, Ast.ident) Gen_goal.exp ->
  E.exp

Source

val convert_sim_bindings : 
  Var.t Containers.List.t ->
  (Ast.var, Ast.ident) Gen_goal.sim_binding list ->
  (Gen_goal.disj * int * E.exp) list

Sourceval convert_runop : Gen_goal.runop -> E.runop

Sourceval convert_rbinop : Gen_goal.rbinop -> E.rbinop

Source

val convert_iexp : 
  Var.t Containers.List.t ->
  (Ast.var, Ast.ident) Gen_goal.iexp ->
  E.iexp

Sourceval convert_ibinop : Gen_goal.ibinop -> E.ibinop

Sourceval convert_goal : (Ast.var, Ast.ident) Gen_goal.t -> E.goal

Sourceval convert : Ast.t -> E.t

package electrod

Module Libelectrod.Ast_to_eloSource

Module `Libelectrod.Ast_to_elo`Source