reactor.h

Go to the documentation of this file.

 
#ifndef REACTOR_H
#define REACTOR_H
 
#include "lf_types.h"
#include "modes.h" // Modal model support
#include "port.h"
#include "tag.h"   // Time-related functions.
#include "clock.h" // Time-related functions.
#include "tracepoint.h"
#include "util.h"

#define SUPPRESS_UNUSED_WARNING(x) (void)(x)


bool lf_is_tag_after_stop_tag(environment_t* env, tag_t tag);

void lf_set_present(lf_port_base_t* port);

void lf_set_stop_tag(environment_t* env, tag_t tag);
 
#ifdef FEDERATED_DECENTRALIZED

interval_t lf_get_stp_offset(void);

interval_t lf_get_sta(void);

interval_t lf_get_fed_maxwait(void);

void lf_set_stp_offset(interval_t offset);

void lf_set_sta(interval_t offset);

void lf_set_fed_maxwait(interval_t offset);
 
#endif // FEDERATED_DECENTRALIZED

void lf_print_snapshot(environment_t* env);

void lf_request_stop(void);

void* lf_allocate(size_t count, size_t size, struct allocation_record_t** head);

self_base_t* lf_new_reactor(size_t size);

void lf_free_all_reactors(void);

void lf_free_reactor(self_base_t* self);

const char* lf_reactor_name(self_base_t* self);

const char* lf_reactor_full_name(self_base_t* self);
 
#endif /* REACTOR_H */