~tapaal-contributor/verifypn/unfoldTACPN

« back to all changes in this revision

Viewing changes to include/CTL/PetriNets/PetriConfig.h

• browse files at revision 230
• compare with another revision
• download diff
• download tarball
• view history from revision 230

Show diffs side-by-side

added

removed

include/CTL/PetriNets/PetriConfig.h

 

1

#ifndef PETRICONFIG_H

 

2

#define PETRICONFIG_H

 

3

 

 

4

#include "CTL/DependencyGraph/Configuration.h"

 

5

#include "PetriEngine/PQL/PQL.h"

 

6

 

 

7

#include <sstream>

 

8

 

 

9

namespace PetriNets {

 

10

 

 

11

class PetriConfig : public DependencyGraph::Configuration {

 

12

 

 

13

public:

 

14

    using Condition = PetriEngine::PQL::Condition;

 

15

    PetriConfig() : 

 

16

        DependencyGraph::Configuration(), marking(0), query(NULL) 

 

17

    {}

 

18

    

 

19

    PetriConfig(size_t t_marking, Condition *t_query) :

 

20

        DependencyGraph::Configuration(), marking(t_marking), query(t_query) {

 

21

    }

 

22

 

 

23

    virtual ~PetriConfig(){};

 

24

 

 

25

    size_t marking;

 

26

    Condition *query;

 

27

 

 

28

};

 

29

 

 

30

}

 

31

#endif // PETRICONFIG_H

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1