net.sf.javailp
Interface SolverSAT4J.Hook

Enclosing class:

SolverSAT4J

public static interface SolverSAT4J.Hook

The Hook for the SolverSAT4J.

Method Summary

void	call(org.sat4j.pb.core.PBSolverResolution solver, Map<Object,Integer> varToIndex) This method is called once before the optimization and allows to change some internal settings.

Method Detail

call

void call(org.sat4j.pb.core.PBSolverResolution solver,
          Map<Object,Integer> varToIndex)

This method is called once before the optimization and allows to change some internal settings.

Parameters:

solver - the sat4j solver

varToIndex - the map of variables to sat4j specific variables