org.sat4j.minisat.restarts
Class LubyRestarts

java.lang.Object
  org.sat4j.minisat.restarts.LubyRestarts

All Implemented Interfaces:

java.io.Serializable, RestartStrategy

public class LubyRestarts
extends java.lang.Object
implements RestartStrategy

Luby series code taken from SATZ_rand 5.0 from Henry Kautz http://www.cs.rochester.edu/u/kautz/satz-rand/satz-rand-v5.0.tgz

 Luby's series 
  long luby_super(int i)
  {
  long power;
  int k;
 
  if (i<=0){
  fprintf(stderr, "bad argument super(%d)\n", i);
  exit(1);
  }
  /* let 2ˆk be the least power of 2 >= (i+1) 
  k = 1;
  power = 2;
  while (power < (i+1)){
  k += 1;
  power *= 2;
  }
  if (power == (i+1)) return (power/2);
  return (luby_super(i - (power/2) + 1));
  }
 

See Also:

Serialized Form

Constructor Summary

LubyRestarts()

Method Summary

int	getFactor()
void	init(SearchParams params) Hook method called just before the search starts.
long	nextRestartNumberOfConflict() Ask for the next restart in number of conflicts.
void	onRestart() Hook method called when a restart occurs (once the solver has backtracked to top decision level).
void	setFactor(int factor)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

LubyRestarts

public LubyRestarts()

Method Detail

setFactor

public void setFactor(int factor)

getFactor

public int getFactor()

init

public void init(SearchParams params)

Description copied from interface: RestartStrategy

Hook method called just before the search starts.

Specified by:

init in interface RestartStrategy

Parameters:

params - the user's search parameters.

nextRestartNumberOfConflict

public long nextRestartNumberOfConflict()

Description copied from interface: RestartStrategy

Ask for the next restart in number of conflicts.

Specified by:

nextRestartNumberOfConflict in interface RestartStrategy

Returns:

the delay in conflicts before the next restart.

onRestart

public void onRestart()

Description copied from interface: RestartStrategy

Hook method called when a restart occurs (once the solver has backtracked to top decision level).

Specified by:

onRestart in interface RestartStrategy

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object