Uses of Interface
algorithm.StrategyFunction.NonDeterministic
Packages that use StrategyFunction.NonDeterministic
Package
Description
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.NonDeterministicModifier and TypeMethodDescriptionStrategyFunction.ALTERNATE()will alternate between PROVEBEST and DISPROVEREST, starting at PROVEBEST; unless DISPROVEREST is impossible, which will suspend the alternation countStrategyFunction.RANDOM()will select randomly between PROVEBEST and DISPROVEREST when both are applicableStrategyFunction.RANDOM(long seed) will select randomly between PROVEBEST and DISPROVEREST when both are applicable