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

package edu.stanford.peer.rbtm.engine;

import edu.stanford.peer.rbtm.credential.*;

public class PartialSolution implements ProofSolution
{
    private Intersection re;
    private Integer index;
    PartialSolution(Intersection r, int i) {
        re = r;
        index = new Integer(i);
    }
    
    public Intersection getIntersection() { return re; }
    public Integer getNumber() { return index; }
}