|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |