bitstringbitfixer.java

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

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

package positronic.satisfiability.bitstring;

import positronic.satisfiability.elements.*;

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

  public BitStringBitFixer(IBitString b, int bit, boolean val) throws Exception
  {
    if((bit<0) || (b.size()-1<bit))
      this.setClauses(Problem.unsolvableProblem().getClauses());
    else
    	this.setClauses(new BitFixer(b.getBooleanVariable(bit),val).getClauses());
  }
}