Mercurial > repos > sybila > ebcsgen_generate_transition_system
view ebcsgen_generate_ts.py @ 3:63abad9342a6 draft default tip
planemo upload for repository https://github.com/sybila/galaxytools/tree/master/tools/ebcsgen commit 4719a69f514aed27d90c7017f052463b0b43cbb0
author | sybila |
---|---|
date | Sat, 15 Oct 2022 09:21:34 +0000 (2022-10-15) |
parents | f13bdc5f4409 |
children |
line wrap: on
line source
import argparse from eBCSgen.Errors.ModelParsingError import ModelParsingError from eBCSgen.Errors.UnspecifiedParsingError import UnspecifiedParsingError from eBCSgen.Parsing.ParseBCSL import Parser import numpy as np args_parser = argparse.ArgumentParser(description='Transition system generating') args_parser._action_groups.pop() required = args_parser.add_argument_group('required arguments') optional = args_parser.add_argument_group('optional arguments') required.add_argument('--model', type=str, required=True) required.add_argument('--output', type=str, required=True) required.add_argument('--direct', required=True) optional.add_argument('--max_time', type=float, default=np.inf) optional.add_argument('--max_size', type=float, default=np.inf) optional.add_argument('--bound', type=int, default=None) args = args_parser.parse_args() model_parser = Parser("model") model_str = open(args.model, "r").read() model = model_parser.parse(model_str) if model.success: if eval(args.direct): ts = model.data.generate_direct_transition_system(args.max_time, args.max_size, args.bound) ts.change_to_vector_backend() else: vm = model.data.to_vector_model(args.bound) ts = vm.generate_transition_system(None, args.max_time, args.max_size) ts.save_to_json(args.output, model.data.params) else: if "error" in model.data: raise UnspecifiedParsingError(model.data["error"]) raise ModelParsingError(model.data, model_str)