source: fedd/abac-src/rbtm/engine/old/PartialSolution.java1 @ ecf679e

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

ABAC sources from Cobham

  • Property mode set to 100644
File size: 425 bytes
Line 
1package edu.stanford.peer.rbtm.engine;
2
3import edu.stanford.peer.rbtm.credential.*;
4
5public class PartialSolution implements ProofSolution
6{
7    private Intersection re;
8    private Integer index;
9    PartialSolution(Intersection r, int i) {
10        re = r;
11        index = new Integer(i);
12    }
13   
14    public Intersection getIntersection() { return re; }
15    public Integer getNumber() { return index; }
16}
Note: See TracBrowser for help on using the repository browser.