org.sat4j.reader
Class ObjectiveFunction

java.lang.Object
  org.sat4j.reader.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()

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