public class GraphBaseBackJumping extends AbstractProfilable implements BackJumping
Constructor and Description |
---|
GraphBaseBackJumping() |
Modifier and Type | Method and Description |
---|---|
void |
addNeighborhoodToBackjumpSet(VarSharedData from,
VarSharedData to) |
StringBuilder |
append(StringBuilder sb,
int level) |
void |
clear() |
void |
init(VarSharedData[] vars) |
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 void init(VarSharedData[] vars)
init
in interface BackJumping
public void clear()
clear
in interface BackJumping
public void success()
success
in interface BackJumping
public void level(int level)
level
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
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.