C# Class ZingExternalPlugin.ComplanMotionPlanner

Inheritance: Microsoft.Zing.ZingerPluginInterface
Exibir arquivo Open project: ZingModelChecker/Zing

Public Methods

Method Description
ComplanMotionPlanner ( ) : System
EndPlugin ( ) : void
Invoke ( int threadID, ZingerPluginState ZPluginState ) : void

Method Details

ComplanMotionPlanner() public method

public ComplanMotionPlanner ( ) : System
return System

EndPlugin() public method

public EndPlugin ( ) : void
return void

Invoke() public method

public Invoke ( int threadID, ZingerPluginState ZPluginState ) : void
threadID int
ZPluginState Microsoft.Zing.ZingerPluginState
return void