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
Ne
val is_a_constant : t -> boolis_a_constant ne returns true iff ne is a constant.
val dimension : t -> intdimension ne returns the number of variables involved in ne
split ne returns a monome (a,x) of ne (where x is not "", namely a is not the constant of ne) as well as the rest of the expr, namely, ne-a.x.
If it is a monome over integers, we return such a couple iff a divide the rest.
We suppose that the dimension is > 0.