bitstringlistdisjointunioner.java

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

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 BitStringListDisjointUnioner extends Problem implements IProblem
{
  private static final long serialVersionUID = 1L;
  
  public BitStringListDisjointUnioner(IBitStringList T,IBitStringList A,IBitStringList B) throws Exception
  {
    if(T==null || A==null || B==null)
      throw new BitStringListException("Passed null IBitStringList to BitStringListAnder constructor.");

    this.setClauses(
    		new Conjunction(
    				new BitStringListDisjointer(A,B),
    				new BitStringListUnioner(T,A,B)).getClauses());
  }
}