src/edu/uci/eecs/specExtraction/OPType.java

   1 package edu.uci.eecs.specExtraction;
   2
   3 /**
   4  * <p>
   5  * The ordering point types.
   6  * </p>
   7  *
   8  * @author Peizhao Ou
   9  *
  10  */
  11 public enum OPType {
  12         OPDefine, PotentialOP, OPCheck, OPClear, OPClearDefine
  13 }