diff --git a/AlgebraicDataflowArchitectureModel/models/TravelDistance.model b/AlgebraicDataflowArchitectureModel/models/TravelDistance.model new file mode 100644 index 0000000..a0c8fe2 --- /dev/null +++ b/AlgebraicDataflowArchitectureModel/models/TravelDistance.model @@ -0,0 +1,13 @@ +channel CX { + out pos_x(prev_x: Double, setX(cur_x: Double)) == cur_x +} + +channel CY { + out pos_y(prev_y: Double, setY(cur_y: Double)) == cur_y +} + +channel C { + in pos_x(prev_x, move(dx, dy)) == prev_x + dx + in pos_y(prev_y, move(dx, dy)) == prev_y + dy + out dist(prev_d, move(dx, dy)) == prev_d + sqrt(dx * dx + dy * dy) +}