systemc-clang 2.0.0
Parsing SystemC constructs
Loading...
Searching...
No Matches
SAPlugin.h File Reference

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.