← Back to branch summary

~verifypn-cpn/verifypn/colored

« back to all changes in this revision

Viewing changes to PetriEngine/DTAPN/AbstractDTAPNBuilder.h

  • Committer: Jonas Finnemann Jensen
  • Date: 2011-09-15 13:30:00 UTC
  • Revision ID: jopsen@gmail.com-20110915133000-wnywm1odf82emiuw
Import of sources from github

Show diffs side-by-side

added added

removed removed

Lines of Context:
PetriEngine/DTAPN/AbstractDTAPNBuilder.h
 
1
/* PeTe - Petri Engine exTremE
 
2
 * Copyright (C) 2011  Jonas Finnemann Jensen <jopsen@gmail.com>,
 
3
 *                     Thomas Søndersø Nielsen <primogens@gmail.com>,
 
4
 *                     Lars Kærlund Østergaard <larsko@gmail.com>,
 
5
 * 
 
6
 * This program is free software: you can redistribute it and/or modify
 
7
 * it under the terms of the GNU General Public License as published by
 
8
 * the Free Software Foundation, either version 3 of the License, or
 
9
 * (at your option) any later version.
 
10
 * 
 
11
 * This program is distributed in the hope that it will be useful,
 
12
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 
13
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 
14
 * GNU General Public License for more details.
 
15
 * 
 
16
 * You should have received a copy of the GNU General Public License
 
17
 * along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
18
 */
 
19
#ifndef ABSTRACTDTAPNBUILDER_H
 
20
#define ABSTRACTDTAPNBUILDER_H
 
21
 
 
22
#include <string>
 
23
 
 
24
namespace PetriEngine {
 
25
namespace DTAPN {
 
26
 
 
27
/** Abstract base class for all DTAPN builders */
 
28
class AbstractDTAPNBuilder{
 
29
public:
 
30
        virtual void addPlace(const std::string& name,
 
31
                                                  int tokens,
 
32
                                                  int maxInvariantAge = -1,
 
33
                                                  double x = 0,
 
34
                                                  double y = 0) = 0;
 
35
 
 
36
        virtual void addTransition(const std::string& name,
 
37
                                                           double x =0,
 
38
                                                           double y = 0) = 0;
 
39
 
 
40
        virtual void addInputArc(const std::string& place,
 
41
                                                         const std::string& transition,
 
42
                                                         int startInterval,
 
43
                                                         int endInterval) = 0;
 
44
 
 
45
        virtual void addOutputArc(const std::string& transition,
 
46
                                                          const std::string& place) = 0;
 
47
 
 
48
        virtual ~AbstractDTAPNBuilder(){}
 
49
};
 
50
 
 
51
} // DTAPN
 
52
} // PetriEngine
 
53
 
 
54
#endif // ABSTRACTDTAPNBUILDER_H