C# Class Microsoft.Zing.DronacharyaConfiguration

Stores the configuration information for dronacharya
Afficher le fichier Open project: ZingModelChecker/Zing Class Usage Examples

Méthodes publiques

Свойство Type Description
P_ProgramDriverPath string
P_ProgramPath string
PcompilerPath string
ZingerPath string
motionPlannerDllPath string
motionPlannerPluginPath string
ws WorkspaceInfo

Méthodes publiques

Méthode Description
DronacharyaConfiguration ( ) : System
Initialize ( string configFile ) : void

Method Details

DronacharyaConfiguration() public méthode

public DronacharyaConfiguration ( ) : System
Résultat System

Initialize() public méthode

public Initialize ( string configFile ) : void
configFile string
Résultat void

Property Details

P_ProgramDriverPath public_oe property

public string P_ProgramDriverPath
Résultat string

P_ProgramPath public_oe property

public string P_ProgramPath
Résultat string

PcompilerPath public_oe property

public string PcompilerPath
Résultat string

ZingerPath public_oe property

public string ZingerPath
Résultat string

motionPlannerDllPath public_oe property

public string motionPlannerDllPath
Résultat string

motionPlannerPluginPath public_oe property

public string motionPlannerPluginPath
Résultat string

ws public_oe property

public WorkspaceInfo,Microsoft.Zing ws
Résultat WorkspaceInfo