rc_mutex_portal.h File Reference

---

Detailed Description

Portal for sc_mutex channels.

Author:

Armin Felke <felke@cs.uni-bonn.de>

This file contains the rc_mutex_portal class.

Date

Revision

Definition in file rc_mutex_portal.h.

Go to the source code of this file.

Namespaces
namespace	ReChannel
Classes
class	rc_mutex_portal
	Portal for a mutex port (named). More...
Functions
	RC_PORTAL (sc_port< sc_mutex_if >)
	Portal for a mutex port.

---