Java AutomatonService.automatonFrom Examples

Example #1

File: AbstractAutomatonTransformationService.java Project: sbradl/AtoCC

 private Automaton getInputAutomaton() throws SerializationException {
   if (isXmlInstance()) {
     return automatonService.automatonFrom(getXmlInput());
   } else {
     return automatonService.automatonFrom(getJsonInput());
   }
 }