Uses of Interface
nts.interf.base.IScope

Packages that use IScope
nts.interf   
nts.interf.base   
nts.interf.expr   
 

Uses of IScope in nts.interf
 

Subinterfaces of IScope in nts.interf
 interface INTS
          Interface for numerical transition systems (NTS).
 interface ISubsystem
          Interface for subsystems of numerical transition systems.
 

Uses of IScope in nts.interf.base
 

Subinterfaces of IScope in nts.interf.base
 interface IExprQ
          Base interface for quantifier expressions.
 

Methods in nts.interf.base that return IScope
 IScope IVarTable.scope()
           
 IScope IVarTableEntry.scope()
           
 

Uses of IScope in nts.interf.expr
 

Subinterfaces of IScope in nts.interf.expr
 interface IExprExists
           
 interface IExprForall