de.uka.ilkd.key.taclettranslation.assumptions

Interface VariablePool

All Known Implementing Classes:

AssumptionGenerator

interface VariablePool

Method Summary

Modifier and Type	Method and Description
LogicVariable	getInstantiationOfLogicVar(Sort instantiation, LogicVariable lv)
LogicVariable	getLogicVariable(Name name, Sort sort)

Method Detail

getInstantiationOfLogicVar

LogicVariable getInstantiationOfLogicVar(Sort instantiation,
                                         LogicVariable lv)

getLogicVariable

LogicVariable getLogicVariable(Name name,
                               Sort sort)