// Code by Will Guaraldi - guaraldi@ccs.neu.edu
// Version 1.0 11/9/2006
// Created for CSG260 Fall 2006 with Karl Lieberherr
package edu.neu.ccs.satsolver;

public class MaxBiasOutput implements OutputI {
  public double m_max_bias;
  public PolynomialI m_polynomial;

  public MaxBiasOutput(PolynomialI poly, double max_bias) {
    m_polynomial = poly;
    m_max_bias = max_bias;
  }

  public double getMaxBias() {
    return m_max_bias;
  }

  public PolynomialI getPolynomial() {
    return m_polynomial;
  }
}