C++ (Cpp) transition::post Examples

Example #1

File: sleep_set.cpp Project: s-vde/state-space-explorer

	SleepSet::SleepSet(const SleepSet& previous, const transition& t, const Dependence& D)
	: mSleep(previous.mSleep)
	{
		DEBUGF("\t\t\tSleepSet", "propagate_and_wake_up", to_short_string(t), "");
		DEBUG("mSleep = " << previous << " \\ { ");
		wake_up(
			t.instr(),
			t.post(),
			[] (const auto& pool, const auto& asleep) {
				return pool.next(*asleep)->second.instr; },
			D
		);
		DEBUG("} = " << mSleep << "\n");
	}