C# 클래스 Microsoft.Zing.HeapTraverser

파일 보기 프로젝트 열기: ZingModelChecker/Zing

공개 메소드들

메소드	설명
PrintHeapElements ( StateImpl state ) : void
TraverseHeap ( StateImpl state, FieldTraverser edge, FieldTraverser node ) : void

비공개 메소드들

메소드	설명
HeapTraverser ( ) : System

메소드 상세

PrintHeapElements() 공개 정적인 메소드

public static PrintHeapElements ( StateImpl state ) : void
state	StateImpl
리턴	void

TraverseHeap() 공개 정적인 메소드

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