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

RemoteControlStrategy()

RemoteControlStrategy(ICDCLLogger log)

Method Summary

void	assignLiteral(int p)
void	clickedOnClean()
ICDCLLogger	getLogger()
int	getNbClausesAtWhichWeShouldClean()
IPhaseSelectionStrategy	getPhaseSelectionStrategy()
RestartStrategy	getRestartStrategy()
SearchParams	getSearchParams()
ICDCL	getSolver()
void	init(int nlength)
void	init(int var, int p)
void	init(SearchParams params)
boolean	isHasClickedOnClean()
boolean	isHasClickedOnRestart()
boolean	isUseTelecomStrategyAsLearnedConstraintsDeletionStrategy()
void	newConflict()
void	newLearnedClause(Constr learned, int trailLevel)
long	nextRestartNumberOfConflict()
void	onBackjumpToRootLevel()
void	onRestart()
void	reset()
int	select(int var)
void	setHasClickedOnClean(boolean hasClickedOnClean)
void	setHasClickedOnRestart(boolean hasClickedOnRestart)
void	setInterrupted(boolean b)
void	setLogger(ICDCLLogger 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(ICDCLLogger 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 ICDCLLogger getLogger()

setLogger

public void setLogger(ICDCLLogger logger)

init

public void init(SearchParams params)

Specified by:

init in interface RestartStrategy

nextRestartNumberOfConflict

public long nextRestartNumberOfConflict()

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()

Specified by:

getSearchParams in interface RestartStrategy

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