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

Packages that use BitBuffer
edu.ksu.cis.projects.bogor.module Provide a generic framework for dataflow analysis on BIR transition systems. 
edu.ksu.cis.projects.bogor.module.state Provides for Bogor state. 
edu.ksu.cis.projects.bogor.module.value Provides for Bogor values. 
edu.ksu.cis.projects.bogor.util Provides utilities. 
 

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

Methods in edu.ksu.cis.projects.bogor.module with parameters of type BitBuffer
 void IStateAugmenter.augmentState(IState s, BitBuffer bb)
          Manipulate the bit vector to encode some extra information.
 void IStateFactory.augmentState(IState state, BitBuffer bb)
          Write extra components of state space into bitwise representation.
protected  void DefaultStateManager.linearizeGlobals(IState s, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, IntIntTable threadOrderMap, BitBuffer bb)
           
protected  void DefaultStateManager.linearizeHeap(ArrayList<INonPrimitiveValue> heap, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, IntIntTable threadOrderMap, BitBuffer bb)
          Flatten the heap to a bit-vector representation.
protected  void DefaultStateManager.linearizeThreads(IState s, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, IntIntTable threadOrderMap, BitBuffer bb)
           
 

Uses of BitBuffer in edu.ksu.cis.projects.bogor.module.state
 

Methods in edu.ksu.cis.projects.bogor.module.state with parameters of type BitBuffer
 void DefaultStateFactory.augmentState(IState state, BitBuffer bb)
           
 

Uses of BitBuffer in edu.ksu.cis.projects.bogor.module.value
 

Methods in edu.ksu.cis.projects.bogor.module.value with parameters of type BitBuffer
 void IPrimitiveExtValue.linearize(BitBuffer bb, int bitsPerNonPrimitiveValue, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap)
          Linearizes the contained values.
 void IValueArray.linearize(boolean isMapDefaultValues, int bitsPerNonPrimitiveValue, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap, BitSet elidedPositions, BitBuffer bb)
          Linearizes the contained values.
 void UniformValueArray.linearize(boolean isMapDefaultValues, int bitsPerNonPrimitiveValue, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap, BitSet elidedPositions, BitBuffer bb)
           
 void VariedValueArray.linearize(boolean isMapDefaultValues, int bitsPerNonPrimitiveValue, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap, BitSet elidedPositions, BitBuffer bb)
           
 void IValueArray.linearize(boolean isMapDefaultValues, int bitsPerNonPrimitiveValue, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap, BitSet elidedPositions, BitBuffer bb, int fromIndex, int toIndex)
          Linearizes the contained values.
 void UniformValueArray.linearize(boolean isMapDefaultValues, int bitsPerNonPrimitiveValue, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap, BitSet elidedPositions, BitBuffer bb, int fromIndex, int toIndex)
           
 void VariedValueArray.linearize(boolean isMapDefaultValues, int bitsPerNonPrimitiveValue, ObjectIntTable<INonPrimitiveValue> nonPrimitiveValueIdMap, int bitsPerThreadId, IntIntTable threadOrderMap, BitSet elidedPositions, BitBuffer bb, int fromIndex, int toIndex)
           
 

Uses of BitBuffer in edu.ksu.cis.projects.bogor.util
 

Methods in edu.ksu.cis.projects.bogor.util with parameters of type BitBuffer
 void BitBuffer.append(BitBuffer other)