counter_with_reset.tessla

include "TesslaROSBridge.tessla"

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

def reset = x > 10

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