 * @see org.jcsp.plugNplay.Regulate
 * @see org.jcsp.plugNplay.Regular
