Interface PropagateListener

    • Method Detail

      • onPropagate

        void onPropagate​(int literal,
                         int clauseId)
        called when a propagation occurs
        Parameters:
        clauseId - the unique ID of the unit clause
        literal - the literal propagated