|
Go to the documentation of this file.
10 #include <boost/test/unit_test.hpp>
21 template < typename T, typename Op>
25 assert(op(x,y) && op(y,z));
26 BOOST_CHECK_MESSAGE(op(x,z), "tranisitive");
29 template < typename T, typename Op>
32 BOOST_CHECK_MESSAGE(!op(x,x), "irreflexive");
35 template < typename T, typename Op>
38 BOOST_CHECK_MESSAGE(!(op(x,y) && op(y,x)), "anti-symmetric");
42 template < typename T, typename Op>
|