/*!

\page dictionary Definitions

\section general General 
<UL>
	\subsection archiving archiving

	\subsection current_tick current tick
	<UL>
		Current tick is defined as the nearest multiple of the \ref latency larger than the current time of the 
agent. 

		For example, latency is one hour:

		<LI> current time is 9:10 => the current tick is 10:00 
		<LI> current time is 9:58 => the current tick is 10:00 
		<LI> current time is 10:00 => the current tick is 11:00 
	</UL>
	\subsection finalizing finalizing

	\subsection latency latency 

</UL>
\section argument_definitions Argument Definitions
<UL>
	\subsection argument argument 

	\subsection call_argument call argument

	\subsection mode_argument mode argument

	\subsection return_argument return argument

	\subsection return_flag_argument return flag argument
	<UL>
		A return flag argument is a boolean variable indicating if:

		<LI> we are expecting to receive a value, the boolean variable is (set to) true
		<LI> to not receive a value, the boolean variable is (set to) false
		<LI> we are not expecting anything concerning the return value, the boolean variable is undecided {false,true}

		A return flag argument is part of a \ref return_argument, see \ref return_args in XIDDL. 
	</UL>
	\subsection return_status_argument return status argument

	\subsection return_status_flag_argument return status flag argument
	<UL>
		A return status flag argument is a boolean variable indicating if:

		<LI> we are expecting to receive a status, the boolean variable is (set to) true
		<LI> to not receive a status, the boolean variable is (set to) false
		<LI> we are not expecting anything concerning the status value, the boolean variable is undecided {false,true}

		A return status flag argument is part of a \ref return_status_argument, see \ref return_args in XIDDL. 
	</UL>
	\subsection successor_selector successor selector
</UL>
\section predicate_definitions Predicate definitions
<UL>
	\subsection predicate predicate
</UL>
\section token_definitions Token definitions
<UL>

	\subsection authorized_token authorized token

	\subsection committed_token commited token

	\subsection controllable_token controllable token
	<UL>
		A controllable token is a token for which at least one the following three is true:

		<LI> The token is a \ref goal_token and \ref returns_a_status
		<LI> The token is an \ref executable_token and does not \ref returns_a_status
		<LI> The token is neither a \ref goal_token nor a \ref executable_token

		An uncontrollable token is a token which is not controllable.

		Implemented in IDEA::PslToken::isControllable
	</UL>
	\subsection enabled_token enabled token

	\subsection executable_token executable token
	<UL>
		A token is an executable token if and only if the token has been assigned to an executable timeline. The token inherits the type of the timeline it is allocated to.

		Implemented in IDEA::PslToken::isExecutable
	</UL>
	\subsection executing_token executing token
	<UL>
		A token is executing at time t (current) if and only if the latest start time of the token is earlier or equal to t and the latest end time is later than t. If a token ends at the same time a token starts and the current time is equal to this time the starting token is considered to be executing. 

		Implemented in IDEA::PslTimeline::getToken and IDEA::PslToken::isExecuting
	</UL>
	\subsection goal_token goal token
	<UL>
		A token is a goal token if and only if the token has been assigned to a goal timeline. The token inherits the type of the timeline it is allocated to.

		Implemented in IDEA::PslToken::isGoal
	</UL>
	\subsection mode_token mode token
	<UL>
		A token is a mode token if and only if the token has been assigned to a mode timeline. The token inherits the type of the timeline it is allocated to.

		Can be concluded from not IDEA::PslToken::isExecutable and not IDEA::PslToken::isGoal
	</UL>
	\subsection returns_a_status returns a status
	<UL>
		A token returns a status if and only if the token has a \ref return_status_flag_argument which is either undecided or has value true.

		Implemented in IDEA::PslToken::returnsStatus
	</UL>
	\subsection token token

</UL>
*/
