public class BCC extends Object
| Constructor and Description |
|---|
BCC() |
BCC(BackJumping bc,
boolean withForbiddenCandidate) |
BCC(boolean withForbiddenCandidate) |
| Modifier and Type | Method and Description |
|---|---|
BackJumping |
getBCCBackJumping() |
PatternScheduler |
getBCCScheduler() |
public BCC()
public BCC(boolean withForbiddenCandidate)
public BCC(BackJumping bc, boolean withForbiddenCandidate)
public PatternScheduler getBCCScheduler()
public BackJumping getBCCBackJumping()
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.