VCSetTest.cpp

Go to the documentation of this file.

//---------------------------------------------------------------------------
/** @file VCSetTest.cpp
 */
//---------------------------------------------------------------------------

#include <boost/test/auto_unit_test.hpp>

#include "BitsetIterator.hpp"
#include "VCBuilder.hpp"
#include "VCSet.hpp"
#include "ChangeLog.hpp"

using namespace benzene;

//---------------------------------------------------------------------------

namespace {

BOOST_AUTO_TEST_CASE(VCSet_CheckCopy)
{
    StoneBoard bd(11, 11);
    VCSet con1(bd.Const(), BLACK);
    con1.Add(VC(NORTH, SOUTH), 0);
    VCSet con2(con1);
    BOOST_CHECK(con1 == con2);

    con1.Add(VC(NORTH, HEX_CELL_A1), 0);
    BOOST_CHECK(con1 != con2);

    con2 = con1;
    BOOST_CHECK(con1 == con2);

    con1.Add(VC(NORTH, HEX_CELL_C1), 0);
    BOOST_CHECK(con1 != con2);
}

/** @todo Make this test quicker! */
BOOST_AUTO_TEST_CASE(VCSet_CheckRevert)
{
    StoneBoard bd(11, 11);
    bd.PlayMove(BLACK, HEX_CELL_A9);
    bd.PlayMove(WHITE, HEX_CELL_F5);
    bd.PlayMove(BLACK, HEX_CELL_I4);
    bd.PlayMove(WHITE, HEX_CELL_H6);
    Groups groups;
    GroupBuilder::Build(bd, groups);
    PatternState patterns(bd);
    patterns.Update();

    ChangeLog<VC> cl;
    VCSet con1(bd.Const(), BLACK);
    con1.SetSoftLimit(VC::FULL, 10);
    con1.SetSoftLimit(VC::SEMI, 25);
    VCSet con2(con1);

    VCBuilderParam param;
    param.max_ors = 4;
    param.and_over_edge = true;
    param.use_greedy_union = true;
    
    VCBuilder builder(param);
    builder.Build(con1, groups, patterns);
    builder.Build(con2, groups, patterns);
    BOOST_CHECK(con1 == con2);

#if 0
    for (BitsetIterator p(bd.getEmpty()); p; ++p) {
        bitset_t added[BLACK_AND_WHITE];
        added[BLACK].set(*p);
        bd.absorb();
        bd.PlayMove(BLACK, *p);
        bd.absorb(*p);

        builder.Build(con2, bd, added, &cl);
        
        //std::cout << cl.dump() << std::endl;

        con2.Revert(cl);
        bd.undoMove(*p);

        BOOST_CHECK(cl.empty());
        BOOST_CHECK(VCSetUtil::EqualOnGroups(con1, con2, bd));
    }
#endif
}

}

//---------------------------------------------------------------------------