C# Class Microsoft.Zing.ZingerInvokeMotionPlanning

Inheritance: ZingException
Mostrar archivo 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_oe property

public int endLocation
return int

obstacles public_oe property

public List obstacles
return List

startLocation public_oe property

public int startLocation
return int