Uses of Class
liquidjava.smt.TypeCheckError

Packages that use TypeCheckError

Package	Description
liquidjava.smt

Uses of TypeCheckError in liquidjava.smt

Methods in liquidjava.smt that throw TypeCheckError

Modifier and Type	Method	Description
void	SMTEvaluator.verifySubtype(Predicate subRef, Predicate supRef, Context c)