C# 클래스 Microsoft.Zing.ZingDronacharya

Zing interaction with dronacharya
파일 보기 프로젝트 열기: ZingModelChecker/Zing 1 사용 예제들

공개 프로퍼티들

프로퍼티 타입 설명
DronaConfiguration DronacharyaConfiguration
GenerateMotionPlans HashSet
ZingerCommandline string[]
configFilepath string

공개 메소드들

메소드 설명
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

비공개 메소드들

메소드 설명
GenerateMotionPlanFor ( int startLocation, int endLocation, int sequenceObstacles, int obsSize, [ sequenceOfSteps, [ stepSize ) : bool

메소드 상세

GenerateMotionPlanFor() 공개 메소드

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

GenerateMotionPlanningModelFunction() 공개 정적인 메소드

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

LaunchNewZingerInstance() 공개 정적인 메소드

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

PerformIterativeSearch() 공개 정적인 메소드

public static PerformIterativeSearch ( ) : void
리턴 void

RecompileProgram() 공개 정적인 메소드

public static RecompileProgram ( ZingDronacharya zDrona ) : void
zDrona ZingDronacharya
리턴 void

RunMotionPlanner() 공개 정적인 메소드

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

ZingDronacharya() 공개 메소드

public ZingDronacharya ( string configFile ) : System
configFile string
리턴 System

프로퍼티 상세

DronaConfiguration 공개적으로 프로퍼티

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

GenerateMotionPlans 공개적으로 프로퍼티

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

ZingerCommandline 공개적으로 정적으로 프로퍼티

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

configFilepath 공개적으로 프로퍼티

public string configFilepath
리턴 string