Uses of Class
dev.civl.gmc.LogEntry

Packages that use LogEntry

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 LogEntry in dev.civl.gmc

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

Modifier and Type	Method	Description
abstract int	LogEntry.compareTo(LogEntry that)	Compares this with another log entry in the natural order.
void	ErrorLog.report(LogEntry entry)