prop-src/graphedges.ph

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //
   3 // This file implements different kind of graph edges
   4 //
   5 ///////////////////////////////////////////////////////////////////////////////
   6 #ifndef graph_edges_h
   7 #define graph_edges_h
   8
   9 #include "graphtype.ph"
  10
  11 ///////////////////////////////////////////////////////////////////////////////
  12 //
  13 //  Class to represent an single valued map
  14 //
  15 ///////////////////////////////////////////////////////////////////////////////
  16 class MapEdge : public EdgeDef
  17 {  MapEdge(const MapEdge&);
  18    void operator = (const MapEdge&);
  19 public:
  20    typedef EdgeDef Super;
  21    MapEdge(GraphTypeDef *, Id, NodeDef*, NodeDef*, GraphIndexing, LabTys = #[]);
  22
  23 protected:
  24    virtual void generate_dom_rep(CodeGen&);
  25    virtual void generate_ran_rep(CodeGen&);
  26    virtual void generate_interf (CodeGen&);
  27    virtual void generate_impl   (CodeGen&);
  28    virtual void choose_representation ();
  29    virtual void print_report(CodeGen&);
  30
  31    virtual void gen_in (CodeGen&);
  32    virtual void gen_image (CodeGen&);
  33    virtual void gen_update_image (CodeGen&);
  34    virtual void gen_in_dom(CodeGen&);
  35 };
  36
  37 ///////////////////////////////////////////////////////////////////////////////
  38 //
  39 //  Class to represent an multivalued map
  40 //
  41 ///////////////////////////////////////////////////////////////////////////////
  42 class MultiMapEdge : public EdgeDef
  43 {  MultiMapEdge(const MultiMapEdge&);
  44    void operator = (const MultiMapEdge&);
  45 public:
  46    typedef EdgeDef Super;
  47    MultiMapEdge
  48       (GraphTypeDef *, Id, NodeDef*, NodeDef*, GraphIndexing, LabTys = #[]);
  49
  50 protected:
  51    virtual void generate_dom_rep(CodeGen&);
  52    virtual void generate_ran_rep(CodeGen&);
  53    virtual void generate_interf (CodeGen&);
  54    virtual void generate_impl   (CodeGen&);
  55    virtual void choose_representation ();
  56    virtual void print_report(CodeGen&);
  57
  58    virtual void gen_in (CodeGen&);
  59    virtual void gen_image (CodeGen&);
  60    virtual void gen_update_image (CodeGen&);
  61    virtual void gen_in_dom(CodeGen&);
  62 };
  63
  64 ///////////////////////////////////////////////////////////////////////////////
  65 //
  66 //  Class to represent an bijection
  67 //
  68 ///////////////////////////////////////////////////////////////////////////////
  69 class BijectionEdge : public MapEdge
  70 {  BijectionEdge(const BijectionEdge&);
  71    void operator = (const BijectionEdge&);
  72 public:
  73    typedef MapEdge Super;
  74    BijectionEdge
  75       (GraphTypeDef *, Id, NodeDef*, NodeDef*, GraphIndexing, LabTys = #[]);
  76
  77 protected:
  78    virtual void generate_dom_rep(CodeGen&);
  79    virtual void generate_ran_rep(CodeGen&);
  80    virtual void generate_interf (CodeGen&);
  81    virtual void generate_impl   (CodeGen&);
  82    virtual void choose_representation ();
  83    virtual void print_report(CodeGen&);
  84 };
  85
  86 ///////////////////////////////////////////////////////////////////////////////
  87 //
  88 //  Class to represent an equivalence relation
  89 //
  90 ///////////////////////////////////////////////////////////////////////////////
  91 class EquivRelationEdge : public MapEdge
  92 {  EquivRelationEdge(const EquivRelationEdge&);
  93    void operator = (const EquivRelationEdge&);
  94 public:
  95    typedef MapEdge Super;
  96    EquivRelationEdge
  97       (GraphTypeDef *, Id, NodeDef*, NodeDef*, GraphIndexing, LabTys = #[]);
  98
  99 protected:
 100    virtual void generate_dom_rep (CodeGen&);
 101    virtual void generate_ran_rep (CodeGen&);
 102    virtual void generate_interf  (CodeGen&);
 103    virtual void generate_impl    (CodeGen&);
 104    virtual void choose_representation ();
 105    virtual void print_report(CodeGen&);
 106 };
 107
 108 #endif