• controlState : InteractiveWitnessState< width, height >
• Direction : craStar , hpaStar
• kSearchStatus : IncrementalBTS< state, action > , IncrementalIDA< state, action >
• legality : Witness< width, height >
• SmoothType : craStar , hpaStar
• stateLoc : Focal< state, action, environment > , FocalAdd< state, action, environment >
• tDrawClass : Graphics::Display