package mlsolver

  1. Overview
  2. Docs

Module Ltmcthreadnba

type ltmc_thread_nba_state =
  1. | Tracking of int * int
  2. | Waiting
  3. | Failed
type rules =
  1. | Branch of bool * int
  2. | Follow of int
  3. | Next
  4. | Delete of int