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(org.sat4j.specs.IVecInt vars, org.sat4j.specs.IVec<java.math.BigInteger> coeffs)

Method Summary

java.math.BigInteger	calculateDegree(int[] model)
org.sat4j.specs.IVec<java.math.BigInteger>	getCoeffs()
org.sat4j.specs.IVecInt	getVars()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ObjectiveFunction

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

Method Detail

calculateDegree

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

getCoeffs

public org.sat4j.specs.IVec<java.math.BigInteger> getCoeffs()

getVars

public org.sat4j.specs.IVecInt getVars()