mCRL2
|
#include <transition.h>
Public Member Functions | |
compare_transitions_target () | |
bool | operator() (const transition &t1, const transition &t2) |
Definition at line 182 of file transition.h.
|
inline |
Definition at line 185 of file transition.h.
|
inline |
Definition at line 188 of file transition.h.