org.sat4j.pb

Class ObjectiveFunction

java.lang.Object

org.sat4j.pb.ObjectiveFunction

All Implemented Interfaces:

java.io.Serializable

public class ObjectiveFunction
extends java.lang.Object
implements java.io.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

Constructors

Constructor and Description
ObjectiveFunction(IVecInt vars, IVec<java.math.BigInteger> coeffs)

Method Summary

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()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ObjectiveFunction

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

Method Detail

calculateDegree

public java.math.BigInteger calculateDegree(RandomAccessModel lazyModel)

Compute the degree of the objective function using a full model.

Parameters:

lazyModel - a solver that recently answered true to isSatisfiable()

Returns:

the value of the objective function for the last model found be the solver.

calculateDegreeImplicant

public java.math.BigInteger calculateDegreeImplicant(ISolver solver)

Compute the degree of the objective function using a prime implicant. It is expected that the method IProblem.primeImplicant() has been called before calling that method.

Parameters:

solver - a solver which recently answered true to isSatisfiable and on which the method primeImplicant() has been called.

Returns:

See Also:

IProblem.primeImplicant()

getCoeffs

public IVec<java.math.BigInteger> getCoeffs()

getVars

public IVecInt getVars()

setCorrection

public void setCorrection(java.math.BigInteger correction)

getCorrection

public java.math.BigInteger getCorrection()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

minValue

public java.math.BigInteger minValue()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object