org.opt4j.satdecoding
Class SATModule

java.lang.Object
  com.google.inject.AbstractModule
      org.opt4j.core.start.Opt4JModule
          org.opt4j.satdecoding.SATModule

All Implemented Interfaces:

com.google.inject.Module

Direct Known Subclasses:

SAT4JModule

public abstract class SATModule
extends org.opt4j.core.start.Opt4JModule

Module class for a SAT-Solver.

Field Summary

Fields inherited from class org.opt4j.core.start.Opt4JModule

SINGLETON

Constructor Summary

SATModule()

Method Summary

protected void	bindSolver(java.lang.Class<? extends Solver> solver) Binds the specific solver as singleton.
protected void	bindSolver(java.lang.Class<? extends Solver> solver, int instances) Binds the specific solver as singleton.

Methods inherited from class org.opt4j.core.start.Opt4JModule

addControlListener, addIndividualStateListener, addOptimizerIterationListener, addOptimizerStateListener, bindConstant, bindConstant, bindConstant, bindConstant, config, configure, constant, multi

Methods inherited from class com.google.inject.AbstractModule

addError, addError, addError, bind, bind, bind, bindConstant, binder, bindInterceptor, bindListener, bindScope, configure, convertToTypes, currentStage, getMembersInjector, getMembersInjector, getProvider, getProvider, install, requestInjection, requestStaticInjection, requireBinding, requireBinding

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SATModule

public SATModule()

Method Detail

bindSolver

protected void bindSolver(java.lang.Class<? extends Solver> solver)

Binds the specific solver as singleton.

Parameters:

solver - the solver class to be bound

bindSolver

protected void bindSolver(java.lang.Class<? extends Solver> solver,
                          int instances)

Binds the specific solver as singleton.

Parameters:

solver - the solver class to be bound

instances - the number of instances for pooling