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()
ObjectiveFunction(IVecInt vars, IVec<BigInteger> coeffs)

Method Summary

Modifier and Type	Method and Description
ObjectiveFunction	add(IVecInt otherVars, IVec<BigInteger> otherCoeffs)
ObjectiveFunction	add(ObjectiveFunction other)
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() Deprecated.
BigInteger	getCorrectionFactor()
BigInteger	getCorrectionOffset()
IVecInt	getVars()
int	hashCode()
BigInteger	minValue()
ObjectiveFunction	multiply(BigInteger fact)
ObjectiveFunction	negate()
void	setCorrection(BigInteger correction) Deprecated.
void	setCorrectionFactor(BigInteger correctionFactor)
void	setCorrectionOffset(BigInteger correction)
Map<Integer,BigInteger>	toMap()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ObjectiveFunction

public ObjectiveFunction()

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

@Deprecated
public void setCorrection(BigInteger correction)

Deprecated.

setCorrectionOffset

public void setCorrectionOffset(BigInteger correction)

getCorrection

@Deprecated
public BigInteger getCorrection()

Deprecated.

getCorrectionOffset

public BigInteger getCorrectionOffset()

setCorrectionFactor

public void setCorrectionFactor(BigInteger correctionFactor)

getCorrectionFactor

public BigInteger getCorrectionFactor()

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

toMap

public Map<Integer,BigInteger> toMap()

negate

public ObjectiveFunction negate()

add

public ObjectiveFunction add(ObjectiveFunction other)

add

public ObjectiveFunction add(IVecInt otherVars,
                             IVec<BigInteger> otherCoeffs)

multiply

public ObjectiveFunction multiply(BigInteger fact)