Uses of Class
liquidjava.smt.GhostFunctionError

Packages that use GhostFunctionError

Package	Description
liquidjava.smt

Uses of GhostFunctionError in liquidjava.smt

Methods in liquidjava.smt that throw GhostFunctionError

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