Uses of Class
eu.simuline.relana.model.VerifyException

Packages that use VerifyException

Package	Description
eu.simuline.relana.model	Description for object oriented models in terms of java classes.

Uses of VerifyException in eu.simuline.relana.model

Methods in eu.simuline.relana.model that throw VerifyException

Modifier and Type	Method	Description
(package private) void	CClass.verify()
(package private) void	SClass.verify()
void	SClass.verifyInner()
private void	SClass.verifyNoShortcut()	Throws an exception if the transitive hull of the relation contains a cycle.