E H O P S

P

propose(List<Claim>) - Method in class hsr.smart.HSRAvatarSmart
DataType: Instance Instance is a, (int, int) - (n, k)
provide(Claim) - Method in class hsr.smart.HSRAvatarSmart
providing instance - in HSR this is trivial as the instanceSet is singleton

E H O P S