pieces.java

Java版的SAT求解器

package positronic.satisfiability.boardgame;

import java.util.Collection;
import java.util.HashSet;

import positronic.satisfiability.boardgame.twodimensional.twoplayer.Piece;

public class Pieces implements Cloneable
{
	private HashSet piecesSet=new HashSet();

	public Pieces()
	{
	}
	
	public Pieces(Collection c)
	{
		if(c!=null)
			this.piecesSet.addAll(c);
	}
	
	public void add(Piece p)
	{
		this.piecesSet.add(p);
	}
}