61 typedef std::vector<Z3::Point> Container;
67 DSSComputer theDSSComputer;
72 contour.push_back(Z3::Point(18,25,18));
73 contour.push_back(Z3::Point(17,25,19));
74 contour.push_back(Z3::Point(16,25,20));
75 contour.push_back(Z3::Point(15,25,21));
76 contour.push_back(Z3::Point(14,25,22));
77 contour.push_back(Z3::Point(13,25,23));
78 contour.push_back(Z3::Point(12,25,24));
79 contour.push_back(Z3::Point(11,25,25));
80 contour.push_back(Z3::Point(10,25,26));
81 contour.push_back(Z3::Point(9,25,27));
82 contour.push_back(Z3::Point(8,25,28));
86 theDSSComputer.
init( contour.begin() );
87 while ( ( theDSSComputer.end() != contour.end() ) &&
88 ( theDSSComputer.extendFront() ) ) {}
92 theDSSComputer.selfDisplay( cout );
95 theDSSComputer.validArithmeticalDSS2d( 0 );
99 DSSComputer::ArithmeticalDSSComputer2d theDSS = theDSSComputer.arithmeticalDSS2d( 0 );
104 DSSComputer::Point3d directionZ3;
105 DSSComputer::PointR3d intercept;
106 DSSComputer::PointR3d thikness;
107 theDSSComputer.getParameters ( directionZ3, intercept, thikness );