C# Class Microsoft.Zing.DronacharyaConfiguration

Stores the configuration information for dronacharya
Show 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 property

public string P_ProgramDriverPath
return string

P_ProgramPath public property

public string P_ProgramPath
return string

PcompilerPath public property

public string PcompilerPath
return string

ZingerPath public property

public string ZingerPath
return string

motionPlannerDllPath public property

public string motionPlannerDllPath
return string

motionPlannerPluginPath public property

public string motionPlannerPluginPath
return string

ws public property

public WorkspaceInfo,Microsoft.Zing ws
return WorkspaceInfo