The exact predicate is constructed only when needed. In particular, the exact version of the state is also constructed only when needed. The constness of data members of predicates of Triangulation_2_filtered_traits has been removed to allor operator= to be defined (and used by optional)