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)
IVec<BigInteger>	getCoeffs()
IVecInt	getVars()
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(int[] model)

getCoeffs

public IVec<BigInteger> getCoeffs()

getVars

public IVecInt getVars()

toString

public String toString()

Overrides:

toString in class Object