Uses of Class
env.wis.jtlv.regression.spec.ModelCheckTC

Packages that use ModelCheckTC

env.wis.jtlv.regression.spec

Uses of ModelCheckTC in env.wis.jtlv.regression.spec

Methods in env.wis.jtlv.regression.spec that return ModelCheckTC

static ModelCheckTC[]	ModelCheckTC.getAllCTLmcTC()
static ModelCheckTC[]	ModelCheckTC.getAllDeadlockTC()
static ModelCheckTC[]	ModelCheckTC.getAllInvarianceTC()
static ModelCheckTC[]	ModelCheckTC.getAllLTLmcTC()
static ModelCheckTC[]	ModelCheckTC.getAllReactTC()
static ModelCheckTC[]	ModelCheckTC.getAllSAValidTC()
static ModelCheckTC[]	ModelCheckTC.getAllTempEntailTC()
static ModelCheckTC[]	ModelCheckTC.getAllValidTC()