bitstringmappercomposition.java

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

/*
 * BitStringMappingComposition.java	1.0 05/04/08
 *
 * Copyright 2004-2005 Positronic Software.
 *
 *
 */

package positronic.satisfiability.bitstring;

import positronic.satisfiability.bitstring.BitStringEqualizer;
import positronic.satisfiability.bitstring.IBitString;
import positronic.satisfiability.elements.Conjunction;
import positronic.satisfiability.elements.IProblem;
import positronic.satisfiability.elements.Problem;

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

  public BitStringMapperComposition(BitStringMapper first, BitStringMapper second,
    IBitString X, IBitString Y) throws Exception
  {
    IProblem prob=new Conjunction(new Problem[]
    {
      new BitStringEqualizer(X,first.getDomainVariable()),
      first,
      new BitStringEqualizer(first.getRangeVariable(),second.getDomainVariable()),
      second,
      new BitStringEqualizer(second.getRangeVariable(),Y),
    });
    this.setClauses(prob.getClauses());
  }
}