Rev Language Reference


fnJC

Usage

fnJC(Natural num_states)

Arguments

num_states : Natural (pass by value)
The number of state or state space.

Return Type