spot  2.3.3.dev
spins_interface.hh
1 // -*- coding: utf-8 -*-
2 // Copyright (C) 2017 Laboratoire de Recherche et Développement de
3 // l'Epita (LRDE)
4 //
5 // This file is part of Spot, a model checking library.
6 //
7 // Spot is free software; you can redistribute it and/or modify it
8 // under the terms of the GNU General Public License as published by
9 // the Free Software Foundation; either version 3 of the License, or
10 // (at your option) any later version.
11 //
12 // Spot is distributed in the hope that it will be useful, but WITHOUT
13 // ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
14 // or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
15 // License for more details.
16 //
17 // You should have received a copy of the GNU General Public License
18 // along with this program. If not, see <http://www.gnu.org/licenses/>.
19 
20 #pragma once
21 
22 #include <ltdl.h>
23 #include <memory>
24 namespace spot
25 {
27  // spins interface
28 
29  typedef struct transition_info
30  {
31  int* labels; // edge labels, NULL, or pointer to the edge label(s)
32  int group; // holds transition group or -1 if unknown
34 
35  typedef void (*TransitionCB)(void *ctx,
37  int *dst);
38 
40  {
41  lt_dlhandle handle; // handle to the dynamic library
42  void (*get_initial_state)(void *to);
43  int (*have_property)();
44  int (*get_successors)(void* m, int *in, TransitionCB, void *arg);
45  int (*get_state_size)();
46  const char* (*get_state_variable_name)(int var);
47  int (*get_state_variable_type)(int var);
48  int (*get_type_count)();
49  const char* (*get_type_name)(int type);
50  int (*get_type_value_count)(int type);
51  const char* (*get_type_value_name)(int type, int value);
52 
54  {
55  if (handle)
56  lt_dlclose(handle);
57  lt_dlexit();
58  }
59  };
60 
61  using spins_interface_ptr = std::shared_ptr<const spins_interface>;
62 }
Definition: graph.hh:33
Definition: spins_interface.hh:29
Definition: spins_interface.hh:39

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Apr 18 2017 14:42:56 for spot by doxygen 1.8.13