public class ObjectiveFunction
extends java.lang.Object
implements java.io.Serializable
Constructor and Description |
---|
ObjectiveFunction(IVecInt vars,
IVec<java.math.BigInteger> coeffs) |
Modifier and Type | Method and Description |
---|---|
java.math.BigInteger |
calculateDegree(RandomAccessModel lazyModel)
Compute the degree of the objective function using a full model.
|
java.math.BigInteger |
calculateDegreeImplicant(ISolver solver)
Compute the degree of the objective function using a prime implicant.
|
boolean |
equals(java.lang.Object obj) |
IVec<java.math.BigInteger> |
getCoeffs() |
java.math.BigInteger |
getCorrection() |
IVecInt |
getVars() |
int |
hashCode() |
java.math.BigInteger |
minValue() |
void |
setCorrection(java.math.BigInteger correction) |
java.lang.String |
toString() |
public java.math.BigInteger calculateDegree(RandomAccessModel lazyModel)
lazyModel
- a solver that recently answered true to isSatisfiable()public java.math.BigInteger calculateDegreeImplicant(ISolver solver)
solver
- a solver which recently answered true to isSatisfiable and on
which the method primeImplicant() has been called.IProblem.primeImplicant()
public IVec<java.math.BigInteger> getCoeffs()
public IVecInt getVars()
public void setCorrection(java.math.BigInteger correction)
public java.math.BigInteger getCorrection()
public java.lang.String toString()
toString
in class java.lang.Object
public java.math.BigInteger minValue()
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object