public interface PropagateListener extends SolverComponent
void
onPropagate(int literal, int clauseId)
initialize
void onPropagate(int literal, int clauseId)
clauseId
literal
Copyright © 2020. All rights reserved.