source:
fedd/abac-src/rbtm/engine/BackwardSolutionListener.java
@
2f14616
Last change on this file since 2f14616 was 8780cbec, checked in by , 15 years ago | |
---|---|
|
|
File size: 215 bytes |
Line | |
---|---|
1 | package edu.stanford.peer.rbtm.engine; |
2 | |
3 | public interface BackwardSolutionListener |
4 | { |
5 | // A new solution r is added to Node s |
6 | void backwardSolutionAdded(ProofNode source, BackwardSolution solution); |
7 | } |
8 |
Note: See TracBrowser
for help on using the repository browser.