nts.interf.base
Interface IScope

All Known Subinterfaces:
IExprExists, IExprForall, IExprQ, INTS, ISubsystem

public interface IScope

Base interface for elements that have a variable table.


Method Summary
 IVarTable varTable()
           
 

Method Detail

varTable

IVarTable varTable()