Subject: Re: [boost] [contract] static_assert in contracts or not?
From: Andrzej Krzemienski (akrzemi1_at_[hidden])
Date: 2012-09-06 10:10:23
> > I do not know if Boost.ConceptCheck offers the capability of verifying
> > boolean predicate. I know that concepts proposal (N2081) offered a
> > concept True for that purpose (not sure if it is definable in
> > Boost.ConceptCheck). As a side note, in the new attempt at concept design
> > described in N3331,
> OK, I need to study N3331.
I meant N3351 (<http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2012/n3351.pdf>"A
Concept Design for the STL"), sorry.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk