package zelus
A synchronous language with ODEs
Install
Dune Dependency
Authors
Maintainers
Sources
2.2.tar.gz
md5=437ae922f1fda392efca3e37e8b8bb4c
sha512=d591cdbeedb8f3a7f568d6d4994de572093822cb354b112886326219174311715a71a35de57a4c2070eae349f65f0c8f3d6c2f6a5a79a8187bbffc687cd108a6
doc/zelus.zlcompilerlibs/Total/Automaton/index.html
Module Total.Automaton
Check that every variable defined in an automaton
val statepatname : Zelus.statepatdesc Zelus.localized -> Zident.tval statename : Zelus.state_exdesc Zelus.localized -> Zident.ttype entry = {e_loc : Zlocation.location;mutable e_state : Deftypes.defnames;mutable e_until : Deftypes.defnames;mutable e_unless : Deftypes.defnames;
}val table : Zelus.state_handler list -> tableval add_state : Zident.Env.key -> Deftypes.defnames -> table -> unitval add_transition :
bool ->
Deftypes.tentry Zident.Env.t ->
Zident.Env.key ->
Deftypes.defnames ->
table ->
unitval check :
Zlocation.location ->
Deftypes.tentry Zident.Env.t ->
table ->
Deftypes.defnamesval check_all_states_are_accessible :
Zlocation.location ->
Zelus.state_handler list ->
unit