C# Class Microsoft.Zing.ZingDronacharya

Zing interaction with dronacharya
Mostra 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_oe property

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

GenerateMotionPlans public_oe property

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

ZingerCommandline public_oe static_oe property

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

configFilepath public_oe property

public string configFilepath
return string