C# Class Microsoft.Zing.ZingerInvokeMotionPlanning

Inheritance: ZingException

Show file Open project: ZingModelChecker/Zing

Public Properties

Property	Type	Description
endLocation	int
obstacles	List
startLocation	int

Public Methods

Method	Description
ZingerInvokeMotionPlanning ( ) : System
ZingerInvokeMotionPlanning ( int st, int end, List obs ) : System
ZingerInvokeMotionPlanning ( string message ) : System
ZingerInvokeMotionPlanning ( string message, Exception innerException ) : System

Protected Methods

Method	Description
ZingerInvokeMotionPlanning ( SerializationInfo serializationInfo, StreamingContext streamingContext ) : System

Method Details

ZingerInvokeMotionPlanning() public method

public ZingerInvokeMotionPlanning ( ) : System
return	System

ZingerInvokeMotionPlanning() protected method

protected ZingerInvokeMotionPlanning ( SerializationInfo serializationInfo, StreamingContext streamingContext ) : System
serializationInfo	System.Runtime.Serialization.SerializationInfo
streamingContext	System.Runtime.Serialization.StreamingContext
return	System

ZingerInvokeMotionPlanning() public method

public ZingerInvokeMotionPlanning ( int st, int end, List obs ) : System
st	int
end	int
obs	List
return	System

ZingerInvokeMotionPlanning() public method

public ZingerInvokeMotionPlanning ( string message ) : System
message	string
return	System

ZingerInvokeMotionPlanning() public method

public ZingerInvokeMotionPlanning ( string message, Exception innerException ) : System
message	string
innerException	System.Exception
return	System

Property Details

endLocation public property

public int endLocation
return	int

obstacles public property

public List obstacles
return	List

startLocation public property

public int startLocation
return	int