Uses of Interface
qilin.parm.ctxcons.CtxConstructor

Packages that use CtxConstructor

Package	Description
qilin.core
qilin.parm.ctxcons
qilin.pta.toolkits.dd
qilin.pta.tools

Uses of CtxConstructor in qilin.core

Fields in qilin.core declared as CtxConstructor

Modifier and Type	Field	Description
protected CtxConstructor	CorePTA.ctxCons

Methods in qilin.core that return CtxConstructor

Modifier and Type	Method	Description
CtxConstructor	CorePTA.ctxConstructor()
abstract CtxConstructor	PTA.ctxConstructor()

Uses of CtxConstructor in qilin.parm.ctxcons

Classes in qilin.parm.ctxcons that implement CtxConstructor

Modifier and Type	Class	Description
class	CallsiteCtxConstructor
class	HybObjCtxConstructor
class	HybTypeCtxConstructor
class	InsensCtxConstructor
class	ObjCtxConstructor
class	TypeCtxConstructor

Uses of CtxConstructor in qilin.pta.toolkits.dd

Classes in qilin.pta.toolkits.dd that implement CtxConstructor

Modifier and Type	Class	Description
class	TunnelingConstructor

Constructors in qilin.pta.toolkits.dd with parameters of type CtxConstructor

Modifier	Constructor	Description
	TunnelingConstructor(View view, CtxConstructor ctxCons)

Uses of CtxConstructor in qilin.pta.tools

Constructors in qilin.pta.tools with parameters of type CtxConstructor

Modifier	Constructor	Description
	BeanPTA(PTAScene scene, CtxConstructor ctxCons)
	DataDrivenPTA(PTAScene scene, CtxConstructor ctxCons)
	MahjongPTA(PTAScene scene, int k, int hk, CtxConstructor ctxCons)
	TunnelingPTA(PTAScene scene, CtxConstructor ctxCons, int k, int hk)
	ZipperPTA(PTAScene scene, int k, int hk, CtxConstructor ctxCons)