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.