Plugin consumer for generating suspension automata. More...
#include "SystemCClang.h"
Include dependency graph for SAPlugin.h:
Go to the source code of this file.
Classes | |
| class | SAPlugin |
Detailed Description
Plugin consumer for generating suspension automata.
Definition in file SAPlugin.h.
