package edu.stanford.peer.rbtm.engine;

public interface ProofQueue 
{
    boolean hasUnexploredForwardNodes();
    boolean hasUnexploredBackwardNodes();
    ProofNode nextUnexploredForwardNode();
    ProofNode nextUnexploredBackwardNode();
    void addForwardNode(ProofNode node);
    void addBackwardNode(ProofNode node);
}