Party.java 178 B

12345678
  1. // Copyright (C) 2013 by Yan Huang <yhuang@cs.umd.edu>
  2. // and Xiao Shaun Wang <wangxiao@cs.umd.edu>
  3. package com.oblivm.backend.flexsc;
  4. public enum Party {
  5. Alice, Bob;
  6. }