gov.nasa.jpf.search

Class SearchState

java.lang.Object

gov.nasa.jpf.search.SearchState

public class SearchState
extends java.lang.Object

Method Summary

Modifier and Type	Method and Description
int	getSearchDepth()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getSearchDepth

public int getSearchDepth()