File tree Expand file tree Collapse file tree
sysml.library/Kernel Library
sysml/src/validation/15-Properties-Values-Expressions Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -19,7 +19,9 @@ package RealFunctions {
1919
2020 function '='(x: Real, y: Real): Boolean specializes BaseFunctions::'==';
2121 function '!='(x: Real, y: Real): Boolean specializes BaseFunctions::'!=';
22-
22+
23+ function Sqrt(x: Real): Real;
24+
2325 function Floor(x: Real): Integer;
2426 function Round(x: Real): Integer;
2527
@@ -35,6 +37,4 @@ package RealFunctions {
3537 function product(collection: Real[0..*]): Real {
3638 ScalarFunctions::product(collection, 1.0)
3739 }
38-
39- function sqrt(x: Real): Real;
4040}
Original file line number Diff line number Diff line change 11package '15_12-Compound Value Type' {
22 import ISQ::*;
3- import RealFunctions::sqrt ;
3+ import RealFunctions::Sqrt ;
44 import '15_01-Constants'::'Mathematical Constants'::pi;
55
66 value type CartesianLocation3D {
@@ -17,7 +17,7 @@ package '15_12-Compound Value Type' {
1717 value dirY: DirectionValue;
1818 value dirZ: DirectionValue;
1919
20- assert constraint { sqrt (dirX**2 + dirY**2 + dirZ**2) == 1.0 }
20+ assert constraint { Sqrt (dirX**2 + dirY**2 + dirZ**2) == 1.0 }
2121 }
2222
2323 /*
You can’t perform that action at this time.
0 commit comments