|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use IntStack | |
|---|---|
| edu.ksu.cis.projects.bogor.module | Provide a generic framework for dataflow analysis on BIR transition systems. |
| Uses of IntStack in edu.ksu.cis.projects.bogor.module |
|---|
| Fields in edu.ksu.cis.projects.bogor.module declared as IntStack | |
|---|---|
protected IntStack |
DefaultCounterExampleWriter.GuidedSearcherProxy.recentlyMovedThreadIds
Stack of thread descriptors corresponding to id of thread which executed each transition on DFS stack. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||