lutin
Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
-
library lutin
-
module Auto2Lucky
-
module AutoGen
-
module Bddd
-
module CheckEnv
-
module CheckType
-
module CkIdentInfo
-
module CkTypeEff
-
module CoAlgExp
-
module CoIdent
-
module CoTraceExp
-
module Constraint
-
module Draw
-
module Exp
-
module ExpEval
-
module Expand
-
module ExprUtil
-
module FGen
-
module Formula_to_bdd
-
module GenOcamlGlue
-
module Glue
-
module Gne
-
module Guard
-
module Lexeme
-
module LoopWeights
-
module Luc2alice
-
module Luc2c
-
module LucFGen
-
module Lucky
-
module LutErrors
-
module LutExe
-
module LutLexer
-
module LutParser
-
module LutPredef
-
module LutProg
-
module LutinRun
-
module LutinUtils
-
module MainArg
-
module Ne
-
module Parsers
-
module Poly_draw
-
module Polyhedron
-
module Prevar
-
module Prog
-
module Reactive
-
module Rif
-
module Sol_nb
-
module Solver
-
module Store
-
module Syntaxe
-
module SyntaxeDump
-
module Thickness
-
module Type
-
module Utils
-
module Value
-
module Var
-
module Verbose
-
module Version
-
Module
Rif
val read :
bool ->
in_channel ->
out_channel option ->
Exp.var list ->
Var.env_inReads the input values
val write : out_channel -> string -> unitval write_outputs : out_channel -> Exp.var list -> Value.OfIdent.t -> unitwrite_outputs oc outputs writes the Lucky outputs
val write_interface :
out_channel ->
Exp.var list ->
Exp.var list ->
Exp.var list option ->
Exp.var list list option ->
unitwrite_interface oc in_vars_ out_vars out_vars loc_vars oracle_vars writes the input and output var names and types
val flush : out_channel -> unit