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