bittablefixer.java

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

/*
 * BitTableFixer.java	1.0 05/04/15
 *
 * Copyright 2004-2005 Positronic Software.
 *
 *
 */

package positronic.satisfiability.bittable;

import positronic.satisfiability.elements.*;

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

  public BitTableFixer(IBitTable X) throws Exception
  {
    IProblem[] p=new BitFixer[X.numberRows()*X.numberColumns()];
    int count=0;
    for(int i=0;i<X.numberRows();i++)
      for(int j=0;j<X.numberColumns();j++)
        p[count++]=new BitFixer(X.getBooleanVariable(i,j));
    this.setClauses(new Conjunction(p).getClauses());
  }
}