ソート関数の適用結果として、先頭要素がリストの最小値であるかどうかのテストを考えます。 #include <vector> #include <algorithm> #include <quickcheck/quickcheck.hh> typedef std::vector<int> Vector; struct prop_sorted_minimum : public quickcheck::Property<Vector> { bool holdsFor(const Vector& xs) { V</vector></int></quickcheck/quickcheck.hh></algorithm></vector>…