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
Constraint
val dimension : t -> intReturns the number of variables involved in the constraint
val dimension_ineq : ineq -> intval get_vars : t -> string listreturns the vars appearing in a constraint
val get_vars_ineq : ineq -> string listapply_subst cstr s applies s to cstr. Note that the result could have been multiplied by a constant.
val to_string : t -> stringPretty printing.
val to_string_verbose : t -> stringval print : t -> unitval ineq_to_string : ineq -> stringval print_ineq : ineq -> unitval eval_ineq : Var.num_subst list -> ineq -> bool