crestdsl.ui package

crestdsl.ui.plot(object, name='', **kwargs)

Submodules

crestdsl.ui.dotter module

crestdsl.ui.dotter.gen_Action(obj, name='', parent=None, **kwargs)

crestdsl.ui.dotter.gen_Entity(obj, name='', parent=None, **kwargs)

crestdsl.ui.dotter.gen_Influence(obj, name='', parent=None, **kwargs)

crestdsl.ui.dotter.gen_Input(obj, name='', parent=None, **kwargs)

crestdsl.ui.dotter.gen_Local(obj, name='', parent=None, **kwargs)

crestdsl.ui.dotter.gen_MetaEntity(obj, name='', parent=None, **kwargs)

crestdsl.ui.dotter.gen_Output(obj, name='', parent=None, **kwargs)

crestdsl.ui.dotter.gen_State(obj, name='', parent=None, **kwargs)

crestdsl.ui.dotter.gen_Transition(obj, name='', parent=None, **kwargs)

crestdsl.ui.dotter.gen_Update(obj, name='', parent=None, **kwargs)

crestdsl.ui.dotter.generate(object, name, parent=None, **kwargs)

crestdsl.ui.dotter.get_color(seed=None)

crestdsl.ui.dotter.plot(object_to_dot, name='', **kwargs)

List of plotter options:

updates = True update_labels = False transitions = True transition_labels = False influence_labels = False interface_only = False no_behaviour = False show_update_ports = False color_updates : False

crestdsl.ui.draw_statespace module

crestdsl.ui.draw_statespace.draw_plot(statespace)

crestdsl.ui.draw_statespace.draw_plotly(statespace, text_func=None, highlight=None, debug=False)

crestdsl.ui.draw_statespace.plot_layout(statespace)

crestdsl.ui.draw_statespace.plotly_data(statespace, text_func=None, highlight=None, debug=False)

crestdsl.ui.elk module

crestdsl.ui.elk.gen_Action(obj, name='', parent=None, **kwargs)

crestdsl.ui.elk.gen_Entity(obj, name='', parent=None, **kwargs)

crestdsl.ui.elk.gen_Influence(obj, name='', parent=None, **kwargs)

crestdsl.ui.elk.gen_MetaEntity(obj, name='', parent=None, **kwargs)

crestdsl.ui.elk.gen_Port(obj, name='', parent=None, **kwargs)

crestdsl.ui.elk.gen_State(obj, name='', parent=None, **kwargs)

crestdsl.ui.elk.gen_Transition(obj, name='', parent=None, **kwargs)

crestdsl.ui.elk.gen_Update(obj, name='', parent=None, **kwargs)

crestdsl.ui.elk.generate(object, name, parent)

crestdsl.ui.elk.generate_midpoint(obj, name='', parent=None, **kwargs)

crestdsl.ui.elk.generate_root(object_to_plot, name)

wraps the generated graph in a root entity

crestdsl.ui.elk.logger = <Logger crestdsl.ui.elk (WARNING)>

Produces JSON that can be interpreted by the Eclipse Layout Kernel (ELK). I tried to use OpenKieler’s elkjs.

crestdsl.ui.elk.plot(object_to_plot, name='', **kwargs)

crestdsl.ui.elk.show_json(object_to_plot, name='', **kwargs)