#include <string>
#include "tgba/tgba.hh"
#include "common.hh"
Go to the source code of this file.
Classes | |
class | spot::nips_interface |
An interface to provide a PROMELA front-end. More... | |
Namespaces | |
namespace | spot |
Typedefs | |
typedef struct nipsvm_t | nipsvm_t |
typedef struct t_bytecode | nipsvm_bytecode_t |
typedef struct t_bytecode nipsvm_bytecode_t |