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.