73 typedef Z3::Point
Point;
79 Point p1( -50, -50, -50 );
80 Point p2( 50, 50, 50 );
87 if ( (*it - c ).norm1() <= 30 ) diamond_set.
insertNew( *it );
89 ObjectType diamond( dt6_18, diamond_set );
91 ObjectType diamond_clone( diamond );
93 diamond_clone.pointSet().erase( c );
94 ObjectType bdiamond = diamond.border();
95 ObjectType bdiamond_clone = diamond_clone.border();
99 viewer<<
Color(250, 250,250);
100 viewer << bdiamond_clone;
Iterator for HyperRectDomain.
Aim: Parallelepidec region of a digital space, model of a 'CDomain'.
const ConstIterator & begin() const
const ConstIterator & end() const