62int main(
int argc,
char** argv )
73 typedef Z3::Point
Point;
79 Point p1( -50, -50, -50 );
80 Point p2( 50, 50, 50 );
85 for ( DomainConstIterator it =
domain.begin(); it !=
domain.end(); ++it )
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;
Aim: Parallelepidec region of a digital space, model of a 'CDomain'.