KEPLER HOME
PTOLEMY HOME
Transition
Documentation
Author(s):
Xiaojun Liu, Edward A. Lee, Haiyang Zheng
Version:
$Id: Transition.doc.html,v 1.1 2006/02/22 18:36:58 mangal Exp $
Ports Summary
Parameter Summary
defaultTransition
exitAngle
gamma
nondeterministic
preemptive
reset