source: fedd/abac-src/rbtm/engine/ProofQueue.java @ df783c1

axis_examplecompt_changesinfo-opsversion-2.00version-3.01version-3.02
Last change on this file since df783c1 was 8780cbec, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago

ABAC sources from Cobham

  • Property mode set to 100644
File size: 335 bytes
Line 
1package edu.stanford.peer.rbtm.engine;
2
3public interface ProofQueue 
4{
5    boolean hasUnexploredForwardNodes();
6    boolean hasUnexploredBackwardNodes();
7    ProofNode nextUnexploredForwardNode();
8    ProofNode nextUnexploredBackwardNode();
9    void addForwardNode(ProofNode node);
10    void addBackwardNode(ProofNode node);
11}
Note: See TracBrowser for help on using the repository browser.