Packages

krieger.oclruntime	Contains classes for executing/simulating operations specified in OCL, possibly embedded in a Java application.
krieger.oclsolve	Provides support for solving OCL constraints.