package edu.stanford.peer.rbtm.engine;

public interface BackwardSolutionListener
{
    // A new solution r is added to Node s
    void backwardSolutionAdded(ProofNode source, BackwardSolution solution);
}