Uses of Class
edu.ksu.cis.projects.bogor.util.StaticByteArray

Packages that use StaticByteArray
edu.ksu.cis.projects.bogor.module Provide a generic framework for dataflow analysis on BIR transition systems. 
 

Uses of StaticByteArray in edu.ksu.cis.projects.bogor.module
 

Fields in edu.ksu.cis.projects.bogor.module with type parameters of type StaticByteArray
protected  ObjectIntTable<StaticByteArray> DefaultStateManager.compressedStateStateIdMap
           
 

Methods in edu.ksu.cis.projects.bogor.module that return StaticByteArray
protected  StaticByteArray DefaultStateManager.linearize(IState s)