source: fedd/abac-src/rbtm/engine/BackwardSolutionListener.java @ 46e4682

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

ABAC sources from Cobham

  • Property mode set to 100644
File size: 215 bytes
Line 
1package edu.stanford.peer.rbtm.engine;
2
3public 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.