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

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

Method Summary

java.math.BigInteger	calculateDegree(int[] model)
IVec<java.math.BigInteger>	getCoeffs()
IVecInt	getVars()
java.lang.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<java.math.BigInteger> coeffs)

Method Detail

calculateDegree

public java.math.BigInteger calculateDegree(int[] model)

getCoeffs

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

getVars

public IVecInt getVars()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object