Uses of Class
rwth.i2.ltlrv.management.VerificationRuntime

Packages that use VerificationRuntime

rwth.i2.ltlrv.management

Holds classes for configuration management and formula creation.

Uses of VerificationRuntime in rwth.i2.ltlrv.management

Fields in rwth.i2.ltlrv.management declared as VerificationRuntime

private static VerificationRuntime

VerificationRuntime.singletonInstance Singleton instance of this class.

Methods in rwth.i2.ltlrv.management that return VerificationRuntime

static VerificationRuntime

VerificationRuntime.getInstance() Returns the singleton instance.