C# Class Microsoft.Zing.DronacharyaConfiguration

Stores the configuration information for dronacharya
Mostra file Open project: ZingModelChecker/Zing Class Usage Examples

Public Properties

Property Type Description
P_ProgramDriverPath string
P_ProgramPath string
PcompilerPath string
ZingerPath string
motionPlannerDllPath string
motionPlannerPluginPath string
ws WorkspaceInfo

Public Methods

Method Description
DronacharyaConfiguration ( ) : System
Initialize ( string configFile ) : void

Method Details

DronacharyaConfiguration() public method

public DronacharyaConfiguration ( ) : System
return System

Initialize() public method

public Initialize ( string configFile ) : void
configFile string
return void

Property Details

P_ProgramDriverPath public_oe property

public string P_ProgramDriverPath
return string

P_ProgramPath public_oe property

public string P_ProgramPath
return string

PcompilerPath public_oe property

public string PcompilerPath
return string

ZingerPath public_oe property

public string ZingerPath
return string

motionPlannerDllPath public_oe property

public string motionPlannerDllPath
return string

motionPlannerPluginPath public_oe property

public string motionPlannerPluginPath
return string

ws public_oe property

public WorkspaceInfo,Microsoft.Zing ws
return WorkspaceInfo