Uses of Package
dev.civl.mc.log.IF

Packages that use dev.civl.mc.log.IF

Package	Description
dev.civl.mc.kripke.IF	Module kripke provides the definition of various transitions and the enabler and state manager of CIVL.
dev.civl.mc.log.IF	Module log provides the data structure for logging errors during verification.
dev.civl.mc.predicate.IF	Module predicate defines predicates that are required to hold for any CIVL-C programs.
dev.civl.mc.semantics.IF	Module semantics implements the semantics of CIVL-C.

Classes in dev.civl.mc.log.IF used by dev.civl.mc.kripke.IF

Class	Description
CIVLErrorLogger	CIVLErrorLogger logs all errors of the system.

Classes in dev.civl.mc.log.IF used by dev.civl.mc.log.IF

Class	Description
CIVLExecutionException	This represents an error during the execution of a program.

Classes in dev.civl.mc.log.IF used by dev.civl.mc.predicate.IF

Class	Description
CIVLExecutionException	This represents an error during the execution of a program.

Classes in dev.civl.mc.log.IF used by dev.civl.mc.semantics.IF

Class	Description
CIVLErrorLogger	CIVLErrorLogger logs all errors of the system.