org.sat4j.reader
Class ObjectiveFunction

java.lang.Object
  org.sat4j.reader.ObjectiveFunction

public class ObjectiveFunction
extends java.lang.Object

Abstraction for an Objective Function for Pseudo Boolean Optimization. May be generalized in the future to deal with other optimization functions.

Author:

leberre

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, 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()