package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

package lustre-v6

lustre-v6
- Action
- ActionsDeps
- Ast2lic
- AstCore
- AstInstanciateModel
- AstPredef
- AstRecognizePredef
- AstTab
- AstTabSymbol
- AstV6
- AstV6Dump
- Dbg
- EvalClock
- EvalConst
- EvalType
- FilenameExtras
- FreshName
- IdSolver
- L2lCheckCKeyWord
- L2lCheckKcgKeyWord
- L2lCheckLoops
- L2lCheckMemSafe
- L2lCheckOutputs
- L2lExpandArrays
- L2lExpandEnum
- L2lExpandMetaOp
- L2lExpandNodes
- L2lNoWhenNot
- L2lOptimIte
- L2lRemoveAlias
- L2lRmPoly
- L2lSplit
- L2lWhenOnId
- Lic
  - TopoSortVarInfo
- Lic2soc
- LicDump
- LicEvalClock
- LicEvalConst
- LicEvalType
- LicMetaOp
- LicPrg
- LicTab
- Lv6Compile
- Lv6Id
- Lv6MainArgs
- Lv6Misc
- Lv6Run
- Lv6Verbose
- Lv6errors
- Lv6lexer
- Lv6parser
- Lv6parserUtils
- Lv6util
- Lv6version
- Lxm
- Soc
  - SocMap
- Soc2c
- Soc2cDep
- Soc2cExtern
- Soc2cGenAssign
- Soc2cHeap
- Soc2cIdent
- Soc2cInstances
- Soc2cPredef
- Soc2cStack
- Soc2cUtil
- Soc2yaml
- SocExec
- SocExecDbg
- SocExecEvalPredef
- SocExecValue
- SocNameC
- SocPredef
- SocPredef2cHeap
- SocPredef2cStack
- SocUtils
- SocVar
- SortActions
- SortActionsExpe
- TopoSort
  - Make
    
    PO
  - PartialOrder
  - S
- UnifyClock
- UnifyType

Legend:
Library
Module
Module type
Parameter
Class
Class type

Performs static evaluations of predefined operators in type expressions

type typer = Lic.type_ AstPredef.evaluator

exception EvalType_error of string

val raise_arity_error : string -> int -> int -> 'b

val raise_type_error : Lic.type_ list -> Lic.type_ list -> string -> 'a

val f : IdSolver.t -> AstPredef.op -> Lxm.t -> typer

Provides the type profile of predef operators. More precisely, given an operator and a list of types, This function checks that the provided types are ok, and returns the list of the operator output types.

val make_node_exp_eff : 
  IdSolver.t ->
  bool option ->
  bool ->
  AstPredef.op ->
  Lxm.t ->
  Lic.node_exp

PIS ALLER : 2 versions

une pour les macros, qui nécessite un IdSolver.t pour traiter les Lic.static_arg list
l'autre pour les noeuds simple qui peut être utilisée statiquement

val make_simple_node_exp_eff : 
  bool option ->
  bool ->
  AstPredef.op ->
  Lxm.t ->
  Lic.node_exp