alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

2008-05-29 Guillaume SADEGH <sadegh@lrde.epita.fr>

Browse source 
* Makefile.am, nips.cc, nips.hh: Fix the previous patch.
This commit is contained in:
Guillaume Sadegh 2008-05-31 14:43:28 +02:00
parent a48a10e82e
commit ff134eb81e
3 changed files with 20 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

8
iface/nips/nips.hh
View file

@ -30,9 +30,10 @@
# include "tgba/tgba.hh"
# include "common.hh"
// Damn, nipsvm.h is include, to fix.
# include "nipsvm.h"
// Fwd declarations.
typedef struct nipsvm_t nipsvm_t;
typedef struct t_bytecode nipsvm_bytecode_t;
namespace spot
{
@ -54,10 +55,11 @@ namespace spot
public:
nips_interface(bdd_dict* dict, const std::string& filename);
~nips_interface();
bool has_monitor() const;
tgba* automaton();
private:
bdd_dict* dict_;
nipsvm_t nipsvm_;
nipsvm_t* nipsvm_;
nipsvm_bytecode_t* bytecode_;
};
}