RdPMonteur.h 1.22 KB
Newer Older
Hiba Ouni's avatar
parser    
Hiba Ouni committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
/* -*- C++ -*- */
#ifndef RdPMONTEUR_H
#define RdPMONTEUR_H
#include <string>
#include <iostream>
using namespace std;

class RdPMonteur {
public:
  RdPMonteur(){};
  virtual ~RdPMonteur(){};
  virtual bool addPlace(const string &place,int marking=0, int capacity=0) =0;
  virtual bool addQueue(const string &place,int capacity=0) =0;
  virtual bool addLossQueue(const string &place,int capacity=0) =0;
  virtual bool addTrans(const string &transition) =0;
  virtual bool addPre(const string &place,const string &transition,int valuation=1) =0;
  virtual bool addPost(const string &place,const string &transition,int valuation=1) =0;  
  virtual bool addPreQueue(const string &place,const string &transition,int valuation=1) =0;
  virtual bool addPostQueue(const string &place,const string &transition,int valuation=1) =0;  
  virtual bool addInhibitor(const string &place,const string &transition,int valuation=1) =0;
  virtual bool addPreAuto(const string &place,const string &transition,const string &valuation) =0;
  virtual bool addPostAuto(const string &place,const string &transition,const string &valuation) =0;  
  virtual bool addReset(const string &place,const string &transition) =0;
  virtual bool create(const char *file);
};
#endif