Esempio n. 1
0
        /**
         * Perform the stuttered conversion.
         * Throws LimitReachedException if a limit is set (>0) and
         * there are more states in the generated DRA than the limit.
         * @param algo the underlying algorithm to be used
         * @param da_result the DRA where the result is stored
         *        (has to have same APSet as the nba)
         * @param limit a limit for the number of states (0 disables the limit).
         */
        public void convert(DAUnionAlgorithm algo, DA da_result, int limit)
        {
            StutteredConvertorUnion conv = new StutteredConvertorUnion(algo, da_result as DRA, limit, _detailed_states, _stutter_information);

            conv.convert();
        }
Esempio n. 2
0
 /**
  * Perform the stuttered conversion.
  * Throws LimitReachedException if a limit is set (>0) and
  * there are more states in the generated DRA than the limit.
  * @param algo the underlying algorithm to be used
  * @param da_result the DRA where the result is stored
  *        (has to have same APSet as the nba)
  * @param limit a limit for the number of states (0 disables the limit).
  */
 public void convert(DAUnionAlgorithm algo, DA da_result, int limit)
 {
     StutteredConvertorUnion conv = new StutteredConvertorUnion(algo, da_result as DRA, limit, _detailed_states, _stutter_information);
     conv.convert();
 }