C# Class Microsoft.Zing.HeapTraverser

Show file Open project: ZingModelChecker/Zing

Public Methods

Method	Description
PrintHeapElements ( StateImpl state ) : void
TraverseHeap ( StateImpl state, FieldTraverser edge, FieldTraverser node ) : void

Private Methods

Method	Description
HeapTraverser ( ) : System

Method Details

PrintHeapElements() public static method

public static PrintHeapElements ( StateImpl state ) : void
state	StateImpl
return	void

TraverseHeap() public static method

public static TraverseHeap ( StateImpl state, FieldTraverser edge, FieldTraverser node ) : void
state	StateImpl
edge	FieldTraverser
node	FieldTraverser
return	void