Sign in
eclipse
/
gerrit
/
www.eclipse.org
/
escet
/
5274ad948b301fa8f8211286d7e840de1a0fcda4
/
.
/
v0.1-M1
/
cif
/
tools
/
cifsim
/
solver
/
root_problem.cif
blob: aaeb45de4583a1a41acd3212c0e68c098c6211ed [
file
] [
log
] [
blame
]
automaton p
:
cont x
=
0.0
;
equation x
' = 1.0;
location:
initial;
edge when x >= 2.33 and x <= 2.34 do x := 0.0;
end