public PointOnPlaneConstraint(Point3D planePoint, Vector3D planeNormal, PointParameter point) { Contract.Requires(point != null); Contract.Ensures(PlanePoint == planePoint); Contract.Ensures(PlaneNormal == planeNormal); Contract.Ensures(Point == point); this.planePoint = planePoint; this.planeNormal = planeNormal; this.point = point; }
public AxisOnLineConstraint(Point3D linePoint, Vector3D lineDirection, PointParameter axisPoint, VectorParameter axisDirection) { Contract.Requires(axisPoint != null); Contract.Requires(axisDirection != null); Contract.Ensures(LinePoint == linePoint); Contract.Ensures(LineDirection == lineDirection); Contract.Ensures(AxisPoint == axisPoint); Contract.Ensures(AxisDirection == axisDirection); this.linePoint = linePoint; this.lineDirection = lineDirection; this.axisPoint = axisPoint; this.axisDirection = axisDirection; }