与kappa工具套件交互的包装器
kapp的Python项目详细描述
做
>>> import kappy >>> client = kappy.KappaRest("http\://url_of/the_server","project_name")
获取使用由 http://url_of/the_server并处理项目project_name。
做
>>> import kappy >>> client = kappy.KappaStd()
获取使用本地安装的kappa代理的kappa客户端。添加 指定使用特定代理的path/to/kasimagent的字符串参数。
通过opam包管理器可以获得kappa代理:
$ opam install atdgen lwt $ opam pin add --dev KaSim
client的方法在kappa_common.py中描述。 源发行版中的文件。
使用的最小示例是
>>> model = "%agent: A(x[x.A]) %var: k_on 1e-2 'rule' A(x[.]), A(x[.]) <-> A(x[1]), A(x[1]) @ k_on, 1 %plot: |A(x[.])| %init: 100 A()" >>> client.add_model_string(model) >>> client.project_parse() >>> sim_params = kappy.SimulationParameter(pause_condition="[T] > 100",plot_period=1) >>> client.simulation_start(sim_params) >>> while client.get_is_sim_running(): sleep(0.1) >>> results = client.simulation_plot() >>> client.shutdown()