public class NoBackJumping extends AbstractProfilable implements BackJumping
Modifier | Constructor and Description |
---|---|
protected |
NoBackJumping() |
Modifier and Type | Method and Description |
---|---|
void |
addNeighborhoodToBackjumpSet(VarSharedData from,
VarSharedData to) |
StringBuilder |
append(StringBuilder sb,
int level) |
void |
clear() |
void |
init(VarSharedData[] vars) |
static NoBackJumping |
instance() |
void |
level(int level) |
int |
previousLevel(VarSharedData var,
Var[] vars) |
void |
success() |
getProfiler, setProfiler
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getProfiler, setProfiler
public static NoBackJumping instance()
public void init(VarSharedData[] vars)
init
in interface BackJumping
public void clear()
clear
in interface BackJumping
public int previousLevel(VarSharedData var, Var[] vars)
previousLevel
in interface BackJumping
public void addNeighborhoodToBackjumpSet(VarSharedData from, VarSharedData to)
addNeighborhoodToBackjumpSet
in interface BackJumping
public StringBuilder append(StringBuilder sb, int level)
append
in interface BackJumping
public void level(int level)
level
in interface BackJumping
public void success()
success
in interface BackJumping
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.