Uses of Class
dev.civl.mc.log.IF.CIVLExecutionException

Packages that use CIVLExecutionException

Package	Description
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.

Uses of CIVLExecutionException in dev.civl.mc.log.IF

Methods in dev.civl.mc.log.IF that return CIVLExecutionException

Modifier and Type	Method	Description
CIVLExecutionException	CIVLLogEntry.problem()

Constructors in dev.civl.mc.log.IF with parameters of type CIVLExecutionException

Modifier	Constructor	Description
	CIVLLogEntry(CIVLConfiguration civlConfig, dev.civl.gmc.GMCConfiguration gmcConfig, CIVLExecutionException problem, dev.civl.sarl.IF.SymbolicUniverse universe)

Uses of CIVLExecutionException in dev.civl.mc.predicate.IF

Methods in dev.civl.mc.predicate.IF that return CIVLExecutionException

Modifier and Type	Method	Description
CIVLExecutionException	CIVLStatePredicate.getUnreportedViolation()	Returns the violation that has not yet been reported.
CIVLExecutionException	CIVLStatePredicate.getViolation()