prop-src/grsgen.pcc

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //
   3 //  This file implements the graph rewriting system compiler.
   4 //
   5 ///////////////////////////////////////////////////////////////////////////////
   6 #include "ir.ph"
   7 #include "ast.ph"
   8 #include "type.h"
   9 #include "grsgen.ph"
  10
  11 instantiate datatype
  12    GraphRewritingRule, GRSPat, GRSConclusion,
  13    List<GraphRewritingRule>, List<GRSPat>, List<GRSConclusion>
  14 ;
  15
  16 ///////////////////////////////////////////////////////////////////////////////
  17 //
  18 //  Constructor and destructor for the graph rewriting compiler
  19 //
  20 ///////////////////////////////////////////////////////////////////////////////
  21 GraphRewritingCompiler::GraphRewritingCompiler() {}
  22 GraphRewritingCompiler::~GraphRewritingCompiler() {}
  23
  24 ///////////////////////////////////////////////////////////////////////////////
  25 //
  26 //  Method to generate a GRS.
  27 //
  28 ///////////////////////////////////////////////////////////////////////////////
  29 void GraphRewritingCompiler::gen_graph_rewriting_system
  30    ( Id name, LabTys args, GraphRewritingRules rules)
  31 {
  32 }