package edu.stanford.peer.rbtm.engine;

public interface ForwardSolutionListener
{
    // A new solution r is added to Node s
    void forwardSolutionAdded(ProofNode source, ForwardSolution solution);
}