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

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
BigInteger	calculateDegree(RandomAccessModel lazyModel) Compute the degree of the objective function using a full model.
BigInteger	calculateDegreeImplicant(ISolver solver) Compute the degree of the objective function using a prime implicant.
boolean	equals(Object obj)
IVec<BigInteger>	getCoeffs()
BigInteger	getCorrection()
IVecInt	getVars()
int	hashCode()
BigInteger	minValue()
void	setCorrection(BigInteger correction)
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<BigInteger> coeffs)

Method Detail

calculateDegree

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

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object