C# Class Microsoft.Zing.ZingDronacharya

Zing interaction with dronacharya
Show file Open project: ZingModelChecker/Zing Class Usage Examples

Public Properties

Property Type Description
DronaConfiguration DronacharyaConfiguration
GenerateMotionPlans HashSet
ZingerCommandline string[]
configFilepath string

Public Methods

Method Description
GenerateMotionPlanFor ( TraversalInfo terminalState ) : void

This function is called for each invocation of generateMotionPLan in the plugin
GenerateMotionPlanningModelFunction ( ZingDronacharya zDrona, List allMotionPlans ) : void
LaunchNewZingerInstance ( ZingDronacharya zDrona, string commandLineArgs ) : ZingerResult
PerformIterativeSearch ( ) : void
RecompileProgram ( ZingDronacharya zDrona ) : void
RunMotionPlanner ( ZingDronacharya zDrona ) : void

This function is called at the end of IterativeSearch after exploring all the executions.
ZingDronacharya ( string configFile ) : System

Private Methods

Method Description
GenerateMotionPlanFor ( int startLocation, int endLocation, int sequenceObstacles, int obsSize, [ sequenceOfSteps, [ stepSize ) : bool

Method Details

GenerateMotionPlanFor() public method

This function is called for each invocation of generateMotionPLan in the plugin
public GenerateMotionPlanFor ( TraversalInfo terminalState ) : void
terminalState TraversalInfo
return void

GenerateMotionPlanningModelFunction() public static method

public static GenerateMotionPlanningModelFunction ( ZingDronacharya zDrona, List allMotionPlans ) : void
zDrona ZingDronacharya
allMotionPlans List
return void

LaunchNewZingerInstance() public static method

public static LaunchNewZingerInstance ( ZingDronacharya zDrona, string commandLineArgs ) : ZingerResult
zDrona ZingDronacharya
commandLineArgs string
return ZingerResult

PerformIterativeSearch() public static method

public static PerformIterativeSearch ( ) : void
return void

RecompileProgram() public static method

public static RecompileProgram ( ZingDronacharya zDrona ) : void
zDrona ZingDronacharya
return void

RunMotionPlanner() public static method

This function is called at the end of IterativeSearch after exploring all the executions.
public static RunMotionPlanner ( ZingDronacharya zDrona ) : void
zDrona ZingDronacharya
return void

ZingDronacharya() public method

public ZingDronacharya ( string configFile ) : System
configFile string
return System

Property Details

DronaConfiguration public property

Stores the configuration information for the current simulation.
public DronacharyaConfiguration,Microsoft.Zing DronaConfiguration
return DronacharyaConfiguration

GenerateMotionPlans public property

List of all the generate motion plans invocation.
public HashSet GenerateMotionPlans
return HashSet

ZingerCommandline public static property

Used to store the commandline arguments for zinger
public static string[] ZingerCommandline
return string[]

configFilepath public property

public string configFilepath
return string