org.sat4j.pb
Class ObjectiveFunction

java.lang.Object
  extended by 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


Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.