Uses of Class
orbital.util.Pair

Packages that use Pair

orbital.algorithm.template	A framework for general algorithmic evaluation schemes including search and planning algorithms.
orbital.moon.logic.resolution	Provides resolution inference theorem prover implementation and clause management.

Uses of Pair in orbital.algorithm.template

Methods in orbital.algorithm.template that return Pair

protected Pair

MarkovDecisionProcess.DynamicProgramming.maximumExpectedUtility(BinaryFunction Q, java.lang.Object state) Calculate the maximum expected utility (MEU) action.

Uses of Pair in orbital.moon.logic.resolution

Methods in orbital.moon.logic.resolution that return Pair

protected Pair	ClauseImpl.factorize2(java.util.Collection literals) Workaround for returning 2 arguments.
protected Pair	ClauseImpl.resolventWith2(Clause G, Formula L, Formula K) Workaround for returning 2 arguments.