public interface PropagateListener extends SolverComponent
Modifier and Type | Method and Description |
---|---|
void |
onPropagate(int literal,
int clauseId)
called when a propagation occurs
|
initialize
Copyright © 2022. All rights reserved.