counter_with_reset.tessla 173 Bytes
Newer Older
1
2
include "TesslaROSBridge.tessla"

3
4
5
@RosSubscription("/counter", "int64", "10")
in x: Events[Int]

6
def reset = x > 10
7
8
9

@RosPublisher("/reset_counter", "bool", "10")
out reset