src Directory Reference

Directory dependency graph for src:

Directories
	cfg
	matchers
	model
	SCuitable
	utils

Files
	PluginAction.h
	This file contains the class for defining basic plugin actions.
	SAPlugin.h
	Plugin consumer for generating suspension automata.
	SystemCClang.cpp
	SystemCClang.h
	Testing.h
	Tree.h