bitstringlistmembershipper.java

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

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

package positronic.satisfiability.bitstringlist;

import positronic.satisfiability.bitstring.BitStringEqualizer;
import positronic.satisfiability.bitstring.IBitString;
import positronic.satisfiability.elements.Disjunction;
import positronic.satisfiability.elements.IProblem;
import positronic.satisfiability.elements.Problem;
import positronic.satisfiability.exceptions.BitStringListException;

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

  public BitStringListMembershipper(IBitString string, IBitStringList bsl) throws Exception
  {
    if(bsl==null)
      throw new BitStringListException("Passed a null IBitStringList to constructor.");
    if(string==null)
      throw new BitStringListException("Passed a null IBitString to constructor.");
    IProblem[] res=new IProblem[bsl.size()];
    for(int i=0;i<bsl.size();i++)
    {
      IBitString curr=bsl.getBitString(i);
      res[i]=new BitStringEqualizer(curr,string);
    }
    IProblem problem=new Disjunction(res);
    this.setClauses(problem.getClauses());
  }
}