gov.nasa.jpf.search

Class SearchState

java.lang.Object

gov.nasa.jpf.search.SearchState

public class SearchState
extends Object

Method Summary

Methods

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()