org.sat4j.pb
Class ObjectiveFunction

java.lang.Object
  org.sat4j.pb.ObjectiveFunction

All Implemented Interfaces:

Serializable

public class ObjectiveFunction
extends Object
implements Serializable

Abstraction for an Objective Function for Pseudo Boolean Optimization. May be generalized in the future to deal with other optimization functions.

Author:

leberre

See Also:

Serialized Form

Constructor Summary

ObjectiveFunction(IVecInt vars, IVec<BigInteger> coeffs)

Method Summary

BigInteger	calculateDegree(int[] model)
BigInteger	calculateDegree(ISolver solver)
BigInteger	calculateDegreeImplicant(ISolver solver)
IVec<BigInteger>	getCoeffs()
BigInteger	getCorrection()
IVecInt	getVars()
BigInteger	minValue()
void	setCorrection(BigInteger correction)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ObjectiveFunction

public ObjectiveFunction(IVecInt vars,
                         IVec<BigInteger> coeffs)

Method Detail

calculateDegree

public BigInteger calculateDegree(ISolver solver)

calculateDegreeImplicant

public BigInteger calculateDegreeImplicant(ISolver solver)

getCoeffs

public IVec<BigInteger> getCoeffs()

getVars

public IVecInt getVars()

setCorrection

public void setCorrection(BigInteger correction)

getCorrection

public BigInteger getCorrection()

toString

public String toString()

Overrides:

toString in class Object

minValue

public BigInteger minValue()

calculateDegree

public BigInteger calculateDegree(int[] model)