Uses of Class
org.semanticweb.HermiT.debugger.Debugger.WaitOption

Packages that use Debugger.WaitOption

Package	Description
org.semanticweb.HermiT.debugger

Uses of Debugger.WaitOption in org.semanticweb.HermiT.debugger

Methods in org.semanticweb.HermiT.debugger that return Debugger.WaitOption

Modifier and Type	Method and Description
static Debugger.WaitOption	Debugger.WaitOption.valueOf(String name) Returns the enum constant of this type with the specified name.
static Debugger.WaitOption[]	Debugger.WaitOption.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in org.semanticweb.HermiT.debugger with parameters of type Debugger.WaitOption

Modifier and Type	Method and Description
boolean	Debugger.addWaitOption(Debugger.WaitOption option)
boolean	Debugger.removeWaitOption(Debugger.WaitOption option)