Uses of Class
liquidjava.processor.context.GhostFunction
Packages that use GhostFunction
Package
Description
-
Uses of GhostFunction in liquidjava.processor.context
Subclasses of GhostFunction in liquidjava.processor.contextMethods in liquidjava.processor.context that return GhostFunctionMethods in liquidjava.processor.context that return types with arguments of type GhostFunctionMethods in liquidjava.processor.context with parameters of type GhostFunctionModifier and TypeMethodDescriptionvoidContext.addGhostFunction(GhostFunction gh) voidGhostState.setGhostParent(GhostFunction parent) -
Uses of GhostFunction in liquidjava.processor.refinement_checker
Methods in liquidjava.processor.refinement_checker that return types with arguments of type GhostFunctionModifier and TypeMethodDescriptionprotected Optional<GhostFunction> ExternalRefinementTypeChecker.createStateGhost(int order, spoon.reflect.declaration.CtElement element) protected Optional<GhostFunction> TypeChecker.createStateGhost(int order, spoon.reflect.declaration.CtElement element) -
Uses of GhostFunction in liquidjava.smt
Method parameters in liquidjava.smt with type arguments of type GhostFunctionModifier and TypeMethodDescriptionstatic voidTranslatorContextToZ3.addGhostFunctions(com.microsoft.z3.Context z3, List<GhostFunction> ghosts, Map<String, com.microsoft.z3.FuncDecl<?>> funcTranslation)