C# Class Microsoft.Zing.ZingDronacharya

Zing interaction with dronacharya
Afficher le fichier Open project: ZingModelChecker/Zing Class Usage Examples

Méthodes publiques

Свойство Type Description
DronaConfiguration DronacharyaConfiguration
GenerateMotionPlans HashSet
ZingerCommandline string[]
configFilepath string

Méthodes publiques

Méthode 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

Méthode Description
GenerateMotionPlanFor ( int startLocation, int endLocation, int sequenceObstacles, int obsSize, [ sequenceOfSteps, [ stepSize ) : bool

Method Details

GenerateMotionPlanFor() public méthode

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

GenerateMotionPlanningModelFunction() public static méthode

public static GenerateMotionPlanningModelFunction ( ZingDronacharya zDrona, List allMotionPlans ) : void
zDrona ZingDronacharya
allMotionPlans List
Résultat void

LaunchNewZingerInstance() public static méthode

public static LaunchNewZingerInstance ( ZingDronacharya zDrona, string commandLineArgs ) : ZingerResult
zDrona ZingDronacharya
commandLineArgs string
Résultat ZingerResult

PerformIterativeSearch() public static méthode

public static PerformIterativeSearch ( ) : void
Résultat void

RecompileProgram() public static méthode

public static RecompileProgram ( ZingDronacharya zDrona ) : void
zDrona ZingDronacharya
Résultat void

RunMotionPlanner() public static méthode

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

ZingDronacharya() public méthode

public ZingDronacharya ( string configFile ) : System
configFile string
Résultat System

Property Details

DronaConfiguration public_oe property

Stores the configuration information for the current simulation.
public DronacharyaConfiguration,Microsoft.Zing DronaConfiguration
Résultat DronacharyaConfiguration

GenerateMotionPlans public_oe property

List of all the generate motion plans invocation.
public HashSet GenerateMotionPlans
Résultat HashSet

ZingerCommandline public_oe static_oe property

Used to store the commandline arguments for zinger
public static string[] ZingerCommandline
Résultat string[]

configFilepath public_oe property

public string configFilepath
Résultat string