private static void Cover1()
{
ExactCover ec = new ExactCover( 8 );
ec.Add( new int[] { 1, 0, 0, 0, 0, 0, 0, 0 }, "0" );
ec.Add( new int[] { 0, 1, 0, 0, 0, 0, 0, 0 }, "1" );
ec.Add( new int[] { 0, 0, 1, 0, 0, 0, 0, 0 }, "2" );
ec.Add( new int[] { 0, 0, 0, 1, 0, 0, 0, 0 }, "3" );
ec.Add( new int[] { 0, 0, 0, 0, 1, 0, 0, 0 }, "4" );
ec.Add( new int[] { 0, 0, 0, 0, 0, 1, 0, 0 }, "5" );
ec.Add( new int[] { 0, 0, 0, 0, 0, 0, 1, 0 }, "6" );
ec.Add( new int[] { 0, 0, 0, 0, 0, 0, 0, 1 }, "7" );
ec.Add( new int[] { 1, 1, 0, 0, 0, 0, 0, 0 }, "8" );
ec.Add( new int[] { 0, 1, 1, 0, 0, 0, 0, 0 }, "9" );
ec.Add( new int[] { 0, 0, 1, 1, 0, 0, 0, 0 }, "10" );
ec.Add( new int[] { 0, 0, 0, 1, 1, 0, 0, 0 }, "11" );
ec.Add( new int[] { 0, 0, 0, 0, 1, 1, 0, 0 }, "12" );
ec.Add( new int[] { 0, 0, 0, 0, 0, 1, 1, 0 }, "13" );
ec.Add( new int[] { 0, 0, 0, 0, 0, 0, 1, 1 }, "14" );
ec.Add( new int[] { 1, 1, 1, 1, 0, 0, 0, 0 }, "15" );
ec.Add( new int[] { 0, 0, 0, 0, 1, 1, 1, 1 }, "16" );
Cover cover = new Cover( ec.Solver, 8, ec.List );
Cover.Search goal = new Cover.Search( cover );
ec.Solver.Solve( goal );
ec.Solver.Out.WriteLine( cover.Index.Domain.Cardinality.ToString() + "\t" + cover.Index.ToString() );
while( ec.Solver.Next() )
{
ec.Solver.Out.WriteLine( cover.Index.Domain.Cardinality.ToString() + "\t" + cover.Index.ToString() );
}
ec.Solver.PrintInformation();
}
public Search( Cover cover )
: base(cover.Solver)
{
m_Cover = cover;
}
public AddIndex( Cover cover, int index )
: base(cover.m_Solver)
{
m_Cover = cover;
m_Index = index;
}