Uses of Class
liquidjava.smt.TypeCheckError
Packages that use TypeCheckError
-
Uses of TypeCheckError in liquidjava.smt
Methods in liquidjava.smt that throw TypeCheckErrorModifier and TypeMethodDescriptionvoidSMTEvaluator.verifySubtype(Predicate subRef, Predicate supRef, Context c)