diff --git a/AlgebraicDataflowArchitectureModel/models/Triangle.model b/AlgebraicDataflowArchitectureModel/models/Triangle.model index 0f83427..ebfe6b4 100644 --- a/AlgebraicDataflowArchitectureModel/models/Triangle.model +++ b/AlgebraicDataflowArchitectureModel/models/Triangle.model @@ -6,7 +6,7 @@ out height(y: Double, setHeight(y2)) == y2 } -channel triable { +channel triangle { in base(x, update(x2, y2)) == x2 in height(y, update(x2, y2)) == y2 out hypothenuse(z: Double, update(x2, y2)) == sqrt(x2 * x2 + y2 * y2)