Clipper
operator*() :
clipper
Generated on Sat Jan 14 2017 05:27:12 for Clipper by
1.8.13