bitstringlistsetter.java

来自「Java版的SAT求解器」· Java 代码 · 共 20 行

package positronic.satisfiability.bitstringlist;

import positronic.satisfiability.bitstringlist.IBitStringList;
import positronic.satisfiability.elements.Conjunction;
import positronic.satisfiability.elements.IProblem;
import positronic.satisfiability.elements.Problem;
import positronic.satisfiability.bitstringlist.BitStringListSubsetter;

public class BitStringListSetter extends Problem implements IProblem
{
	private static final long serialVersionUID = 1L;
	
	public BitStringListSetter(IBitStringList source, IBitStringList target) throws Exception
	{
		IProblem memb=new BitStringListSubsetter(source,target);
		IProblem uniq=new BitStringListUniquer(source,target);
		this.setClauses(new Conjunction(memb,uniq).getClauses());
	}
}