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
Prevar
To pretty print pre var. Leave the string unchanged if it is not a pre var
get the root name of the variable the pre holds on. e.g, get_var_names "$p1x" returns "x", and "$p2x" returns "x" too.
get the name of the variable the pre holds on. e.g, get_pre_var_names "$p1x" returns "x", and "$p2x" returns "$p1x"