Uses of Class
dev.civl.gmc.ErrorLog

Packages that use ErrorLog

Package	Description
dev.civl.gmc	The root package of generic model checking is used to construct model checking applications, either sequential or concurrent.

Uses of ErrorLog in dev.civl.gmc

Methods in dev.civl.gmc that return ErrorLog

Modifier and Type	Method	Description
ErrorLog	Simulator.getLog()

Methods in dev.civl.gmc with parameters of type ErrorLog

Modifier and Type	Method	Description
void	Simulator.setLog(ErrorLog log)