Class KPathOrder


  • public class KPathOrder
    extends KVariableSelector
    A variable selector based on a path order.

    The initial successor is chosen randomly. Then, the following chosen
    variable will the designated successor in the previous branching choice.

    Since:
    2016.1
    See Also:
    KVariableSelector