Sign in
eclipse
/
gerrit
/
www.eclipse.org
/
escet
/
7489763bee053863d11bd99f3be73d1d3dfc2337
/
.
/
test
/
cif
/
tools
/
cifsim
/
solver
/
root_simple.cif
blob: 6b5c49983e592a01a19c15420ae0678a403043f2 [
file
] [
log
] [
blame
]
automaton p
:
cont x
=
0.0
;
equation x
' = 0.5;
location:
initial;
edge when x >= 1.5 do x := 0.0;
end