org.opt4j.satdecoding.sat4j
Class SAT4JModule

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

All Implemented Interfaces:

com.google.inject.Module

public class SAT4JModule
extends SATModule

The SAT4JModule enables and configures the SAT4JSolver.

Field Summary

protected int	instances
protected SAT4JSolver.Learning	learning
protected int	learnSize
protected SAT4JSolver.Restarts	restarts
protected int	timeout

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

SINGLETON

Constructor Summary

SAT4JModule()

Method Summary

void	config()
int	getInstances() Returns the number of instances.
SAT4JSolver.Learning	getLearning() Returns the learning strategy.
int	getLearnSize() Returns the number of learned clauses that are kept.
SAT4JSolver.Restarts	getRestarts() Returns the restart strategy.
int	getTimeout() Returns the timeout (in seconds) of the SAT4JSolver.
void	setInstances(int instances) Sets the number of instances.
void	setLearning(SAT4JSolver.Learning learning) Sets the learning strategy.
void	setLearnSize(int learnSize) Sets the number of learned clauses that are kept.
void	setRestarts(SAT4JSolver.Restarts restarts) Sets the restart strategy.
void	setTimeout(int timeout) Sets the timeout (in seconds) for the SAT4JSolver.

Methods inherited from class org.opt4j.satdecoding.SATModule

bindSolver, bindSolver

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

addControlListener, addIndividualStateListener, addOptimizerIterationListener, addOptimizerStateListener, bindConstant, bindConstant, bindConstant, bindConstant, 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

Field Detail

timeout

protected int timeout

learnSize

protected int learnSize

learning

protected SAT4JSolver.Learning learning

restarts

protected SAT4JSolver.Restarts restarts

instances

protected int instances

Constructor Detail

SAT4JModule

public SAT4JModule()

Method Detail

getInstances

public int getInstances()

Returns the number of instances.

Returns:

the number of instances

See Also:

setInstances(int)

setInstances

public void setInstances(int instances)

Sets the number of instances.

Parameters:

instances - the number of instances

See Also:

getInstances()

getLearning

public SAT4JSolver.Learning getLearning()

Returns the learning strategy.

Returns:

the learning strategy

See Also:

setLearning(org.opt4j.satdecoding.sat4j.SAT4JSolver.Learning)

setLearning

public void setLearning(SAT4JSolver.Learning learning)

Sets the learning strategy.

Parameters:

learning - the learning strategy to set

See Also:

getLearning()

getRestarts

public SAT4JSolver.Restarts getRestarts()

Returns the restart strategy.

Returns:

the restart strategy

See Also:

setRestarts(org.opt4j.satdecoding.sat4j.SAT4JSolver.Restarts)

setRestarts

public void setRestarts(SAT4JSolver.Restarts restarts)

Sets the restart strategy.

Parameters:

restarts - the restart strategy to set

See Also:

getRestarts()

getLearnSize

public int getLearnSize()

Returns the number of learned clauses that are kept.

Returns:

the number of learned clauses that are kept

See Also:

setLearnSize(int)

setLearnSize

public void setLearnSize(int learnSize)

Sets the number of learned clauses that are kept.

Parameters:

learnSize - the number of learned clauses

See Also:

getLearnSize()

getTimeout

public int getTimeout()

Returns the timeout (in seconds) of the SAT4JSolver.

Returns:

the timeout (in seconds) of the solver

See Also:

setTimeout(int)

setTimeout

public void setTimeout(int timeout)

Sets the timeout (in seconds) for the SAT4JSolver.

Parameters:

timeout - the timeout for the solver

See Also:

getTimeout()

config

public void config()

Specified by:

config in class org.opt4j.core.start.Opt4JModule