org.sat4j.sat

Class RemoteControlStrategy

java.lang.Object

org.sat4j.sat.RemoteControlStrategy

All Implemented Interfaces:

Serializable, ConflictTimer, IPhaseSelectionStrategy, RestartStrategy

public class RemoteControlStrategy
extends Object
implements RestartStrategy, IPhaseSelectionStrategy

Strategy used by the solver when launched with the remote control.

Author:

sroussel

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
RemoteControlStrategy()
RemoteControlStrategy(ILogAble log)

Method Summary

Methods

Modifier and Type	Method and Description
void	assignLiteral(int p)
void	clickedOnClean()
ILogAble	getLogger()
int	getNbClausesAtWhichWeShouldClean()
IPhaseSelectionStrategy	getPhaseSelectionStrategy()
RestartStrategy	getRestartStrategy()
SearchParams	getSearchParams()
ICDCL<?>	getSolver()
SolverStats	getSolverStats()
void	init(int nlength)
void	init(int var, int p)
void	init(SearchParams params, SolverStats stats)
boolean	isHasClickedOnClean()
boolean	isHasClickedOnRestart()
boolean	isUseTelecomStrategyAsLearnedConstraintsDeletionStrategy()
void	newConflict()
void	newLearnedClause(Constr learned, int trailLevel)
long	nextRestartNumberOfConflict() Deprecated.
void	onBackjumpToRootLevel()
void	onRestart()
void	reset()
int	select(int var)
void	setHasClickedOnClean(boolean hasClickedOnClean)
void	setHasClickedOnRestart(boolean hasClickedOnRestart)
void	setInterrupted(boolean b)
void	setLogger(ILogAble logger)
void	setNbClausesAtWhichWeShouldClean(int nbClausesAtWhichWeShouldClean)
void	setPhaseSelectionStrategy(IPhaseSelectionStrategy phaseSelectionStrategy)
void	setRestartStrategy(RestartStrategy restart)
void	setSolver(ICDCL<?> solver)
void	setUseTelecomStrategyAsLearnedConstraintsDeletionStrategy(boolean useTelecomStrategyAsLearnedConstraintsDeletionStrategy)
boolean	shouldRestart()
String	toString()
void	updateVar(int p)
void	updateVarAtDecisionLevel(int q)

Methods inherited from class java.lang.Object

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

Constructor Detail

RemoteControlStrategy

public RemoteControlStrategy(ILogAble log)

RemoteControlStrategy

public RemoteControlStrategy()

Method Detail

isHasClickedOnRestart

public boolean isHasClickedOnRestart()

setHasClickedOnRestart

public void setHasClickedOnRestart(boolean hasClickedOnRestart)

isHasClickedOnClean

public boolean isHasClickedOnClean()

setHasClickedOnClean

public void setHasClickedOnClean(boolean hasClickedOnClean)

isUseTelecomStrategyAsLearnedConstraintsDeletionStrategy

public boolean isUseTelecomStrategyAsLearnedConstraintsDeletionStrategy()

setUseTelecomStrategyAsLearnedConstraintsDeletionStrategy

public void setUseTelecomStrategyAsLearnedConstraintsDeletionStrategy(boolean useTelecomStrategyAsLearnedConstraintsDeletionStrategy)

clickedOnClean

public void clickedOnClean()

getRestartStrategy

public RestartStrategy getRestartStrategy()

getPhaseSelectionStrategy

public IPhaseSelectionStrategy getPhaseSelectionStrategy()

setPhaseSelectionStrategy

public void setPhaseSelectionStrategy(IPhaseSelectionStrategy phaseSelectionStrategy)

setRestartStrategy

public void setRestartStrategy(RestartStrategy restart)

getNbClausesAtWhichWeShouldClean

public int getNbClausesAtWhichWeShouldClean()

setNbClausesAtWhichWeShouldClean

public void setNbClausesAtWhichWeShouldClean(int nbClausesAtWhichWeShouldClean)

getLogger

public ILogAble getLogger()

setLogger

public void setLogger(ILogAble logger)

init

public void init(SearchParams params,
        SolverStats stats)

Specified by:

init in interface RestartStrategy

nextRestartNumberOfConflict

@Deprecated
public long nextRestartNumberOfConflict()

Deprecated.

Specified by:

nextRestartNumberOfConflict in interface RestartStrategy

shouldRestart

public boolean shouldRestart()

Specified by:

shouldRestart in interface RestartStrategy

onRestart

public void onRestart()

Specified by:

onRestart in interface RestartStrategy

onBackjumpToRootLevel

public void onBackjumpToRootLevel()

Specified by:

onBackjumpToRootLevel in interface RestartStrategy

getSearchParams

public SearchParams getSearchParams()

getSolverStats

public SolverStats getSolverStats()

getSolver

public ICDCL<?> getSolver()

setSolver

public void setSolver(ICDCL<?> solver)

reset

public void reset()

Specified by:

reset in interface ConflictTimer

newConflict

public void newConflict()

Specified by:

newConflict in interface ConflictTimer

updateVar

public void updateVar(int p)

Specified by:

updateVar in interface IPhaseSelectionStrategy

init

public void init(int nlength)

Specified by:

init in interface IPhaseSelectionStrategy

init

public void init(int var,
        int p)

Specified by:

init in interface IPhaseSelectionStrategy

assignLiteral

public void assignLiteral(int p)

Specified by:

assignLiteral in interface IPhaseSelectionStrategy

select

public int select(int var)

Specified by:

select in interface IPhaseSelectionStrategy

updateVarAtDecisionLevel

public void updateVarAtDecisionLevel(int q)

Specified by:

updateVarAtDecisionLevel in interface IPhaseSelectionStrategy

toString

public String toString()

Overrides:

toString in class Object

setInterrupted

public void setInterrupted(boolean b)

newLearnedClause

public void newLearnedClause(Constr learned,
                    int trailLevel)

Specified by:

newLearnedClause in interface RestartStrategy