systemc/channel/sc_semaphore.cc

33 #include "systemc/ext/channel/sc_semaphore.hh"
40 sc_semaphore::sc_semaphore(int value) :
41     sc_semaphore(sc_gen_unique_name("semaphore"), value)
44 sc_semaphore::sc_semaphore(const char *_name, int value) :
54 sc_semaphore::wait()
62 sc_semaphore::trywait()
72 sc_semaphore::post()
79 int sc_semaphore::get_value() const { return _value; }