bitstringlistequalizer.java

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

/*
 * BitStringListEqualizer.java	1.0 05/04/11
 *
 * Copyright 2004-2005 Positronic Software.
 *
 *
 */

package positronic.satisfiability.bitstringlist;

import positronic.satisfiability.elements.Conjunction;
import positronic.satisfiability.elements.IProblem;
import positronic.satisfiability.elements.Problem;
import positronic.satisfiability.exceptions.BitStringListException;

public class BitStringListEqualizer extends Problem implements IProblem
{
	private static final long serialVersionUID = 1L;

	public BitStringListEqualizer(IBitStringList A, IBitStringList B) throws Exception
  {
    if(A==null)
      throw new BitStringListException("Passed a null IBitStringList to constructor.");
    if(B==null)
      throw new BitStringListException("Passed a null IBitStringList to constructor.");
    IProblem problem=new Conjunction(new BitStringListSubsetter(A,B),new BitStringListSubsetter(B,A));
    this.setClauses(problem.getClauses());
  }
}