~ubuntu-branches/ubuntu/utopic/tcm/utopic

« back to all changes in this revision

Viewing changes to src/sd/bv/smv.h

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

Show diffs side-by-side

added

removed

src/sd/bv/smv.h

 

1

/* This file generates quick-and-dirty NuSMV output */

 

2

 

 

3

#include "llist.h"

 

4

#include "lstring.h"

 

5

#include "graph.h"

 

6

 

 

7

class SMV {

 

8

public:

 

9

        SMV(Graph *st);

 

10

        ~SMV();

 

11

 

 

12

        void WriteSMV(const char *filename, List<string> *internal,

 

13

                                const string *formula);

 

14

private:

 

15

        static void AddNames(List<string> *names, List<string> *guards,

 

16

                                const string *statename);

 

17

        Graph *graph;

 

18

};

• Older »

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