public interface BackJumping extends Profilable
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
void init(VarSharedData[] vars)
void level(int level)
void success()
int previousLevel(VarSharedData var, Var[] vars)
void addNeighborhoodToBackjumpSet(VarSharedData from, VarSharedData to)
from
- to
- StringBuilder append(StringBuilder sb, int level)
sb
- level
- void clear()
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.