package edu.stanford.peer.rbtm.engine; import edu.stanford.peer.rbtm.credential.*; public interface SolutionFilter { ForwardSolution getForwardSolution(EntityExpression re); BackwardSolution getBackwardSolution(EntityExpression re); }