package lutin

You can search for identifiers within the package.

in-package search v0.2.0

Lutin: modeling stochastic reactive systems

Install

md5=a7da42464f4ad0619bc4e759f2defca3

sha512=2142fe82b22c10f1baaf8591d177f2497c00b93e4f9d92b50e4ff24b34ecbc9d5dc8537efa21c94c09623501a1ef26292cfad36fa12fdde5cbe0add716b9c7cb

Internal representation of pre variables.

Sourceval format : string -> string

To pretty print pre var. Leave the string unchanged if it is not a pre var

Sourceval is_pre_var : string -> bool

is_pre_va vn returns iff vn is a pre variable.

Sourceval get_root_var_name : string -> string

get the root name of the variable the pre holds on. e.g, get_var_names "$p1x" returns "x", and "$p2x" returns "x" too.

Sourceval get_pre_var_name : string -> string

get the name of the variable the pre holds on. e.g, get_pre_var_names "$p1x" returns "x", and "$p2x" returns "$p1x"

Sourceval give_pre_var_name : string -> string

give_pre_var_name u returns the string encoding of pre u