Uses of Interface
algorithm.StrategyFunction.NonDeterministic

Packages that use StrategyFunction.NonDeterministic

Package	Description
algorithm	Search techniques based on B* and various utility classes used primarily by these search techniques.

Uses of StrategyFunction.NonDeterministic in algorithm

Methods in algorithm that return StrategyFunction.NonDeterministic

Modifier and Type	Method	Description
static StrategyFunction.NonDeterministic	StrategyFunction.ALTERNATE()	will alternate between PROVEBEST and DISPROVEREST, starting at PROVEBEST; unless DISPROVEREST is impossible, which will suspend the alternation count
static StrategyFunction.NonDeterministic	StrategyFunction.RANDOM()	will select randomly between PROVEBEST and DISPROVEREST when both are applicable
static StrategyFunction.NonDeterministic	StrategyFunction.RANDOM(long seed)	will select randomly between PROVEBEST and DISPROVEREST when both are applicable