org.sat4j.pb
Class ObjectiveFunction

java.lang.Object
  extended by org.sat4j.pb.ObjectiveFunction
All Implemented Interfaces:
Serializable

public class ObjectiveFunction
extends Object
implements 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<BigInteger> coeffs)
           
 
Method Summary
 BigInteger calculateDegree(int[] model)
           
 BigInteger calculateDegree(ISolver solver)
           
 BigInteger calculateDegreeImplicant(ISolver solver)
           
 IVec<BigInteger> getCoeffs()
           
 BigInteger getCorrection()
           
 IVecInt getVars()
           
 BigInteger minValue()
           
 void setCorrection(BigInteger correction)
           
 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<BigInteger> coeffs)
Method Detail

calculateDegree

public BigInteger calculateDegree(ISolver solver)

calculateDegreeImplicant

public BigInteger calculateDegreeImplicant(ISolver solver)

getCoeffs

public IVec<BigInteger> getCoeffs()

getVars

public IVecInt getVars()

setCorrection

public void setCorrection(BigInteger correction)

getCorrection

public BigInteger getCorrection()

toString

public String toString()
Overrides:
toString in class Object

minValue

public BigInteger minValue()

calculateDegree

public BigInteger calculateDegree(int[] model)


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