-- Used to determine status of input and output token
FUNCTION token_present (T: Token) RETURN boolean;
FUNCTION token_acked (T: Token) RETURN boolean;
FUNCTION token_released (T: Token) RETURN boolean;
FUNCTION token_removed (T: Token) RETURN boolean;
Copyright University of Virginia Center for Semicustom Integrated Systems. Reprinted with permission.