src/edu/uci/eecs/specCompiler/specExtraction/Construct.java

   1 package edu.uci.eecs.specCompiler.specExtraction;
   2
   3 /**
   4  * <p>
   5  * This is just an abstract class for all the constructs.
   6  * </p>
   7  * @author peizhaoo
   8  *
   9  */
  10 abstract public class Construct {
  11 }