Index _ | A | C | D | E | F | G | I | M | N | R | S | U _ __init__() (ClingoBackend method) (UIState method) _add_assumption() (ClingoBackend method), [1] _add_atom() (ClingoBackend method), [1] _add_domain_state_constructor() (ClingoBackend method), [1] _assumption_list (ClingoBackend property) (ExplanationBackend property) _call_solver_with_cache() (ClingoBackend method) _clear_cache() (ClingoBackend method) _compute_clingraph_graphs() (ClingraphBackend method) _constants_argument_list (ClingoBackend property) _create_ctl() (ClingoBackend method), [1] (ClingoDLBackend method) _create_image_from_graph() (ClingraphBackend method) _ctl_arguments_list (ClingoBackend property) _domain_state (ClingoBackend property) _ds_assign (ClingoDLBackend property), [1] _ds_assume (ClingoBackend property), [1] _ds_brave (ClingoBackend property), [1] _ds_brave_optimal (ClingoBackend property), [1] _ds_browsing (ClingoBackend property), [1] _ds_cautious (ClingoBackend property), [1] _ds_cautious_optimal (ClingoBackend property), [1] _ds_constants (ClingoBackend property), [1] _ds_context (ClingoBackend property), [1] _ds_external (ClingoBackend property), [1] _ds_model (ClingoBackend property), [1] _ds_mus (ExplanationBackend property), [1] _ds_opt (ClingoBackend property), [1] _ds_unsat (ClingoBackend property), [1] _ground() (ClingoBackend method), [1] (ExplanationBackend method) _init_command_line() (ClingoBackend method), [1] (ClingoDLBackend method) (ClingraphBackend method) (ExplanationBackend method) _init_ctl() (ClingoBackend method), [1] _init_ds_constructors() (ClingoBackend method), [1] (ClingoDLBackend method) (ExplanationBackend method) _init_interactive() (ClingoBackend method), [1] (ClingoDLBackend method) _is_browsing (ClingoBackend property) _load_and_add() (ClingoBackend method), [1] _load_file() (ClingoBackend method), [1] (ClingoDLBackend method) (ExplanationBackend method) _on_model() (ClingoBackend method), [1] (ClingoDLBackend method) _outdate() (ClingoBackend method), [1] (ClingoDLBackend method) _prepare() (ClingoBackend method), [1] (ClingoDLBackend method) _replace_uifb_with_b64_images_clingraph() (ClingraphBackend method) _restart() (ClingoBackend method), [1] _set_constant() (ClingoBackend method), [1] _set_context() (ClingoBackend method), [1] _set_external() (ClingoBackend method), [1] _set_fb_symbols() (UIState method) _ui_uses_predicate() (ClingoBackend method) (ClingraphBackend method) _update_ui_state() (ClingoBackend method), [1] (ClingraphBackend method) A add_assumption() (ClingoBackend method), [1] add_atom() (ClingoBackend method), [1] add_attribute() (UIState method) add_attribute_direct() (UIState method) add_element() (UIState method) add_message() (UIState method) C clear_assumptions() (ClingoBackend method), [1] clear_atoms() (ClingoBackend method), [1] ClingoBackend (class in clinguin.server.application.backends), [1], [2], [3] ClingoDLBackend (class in clinguin.server.application.backends) ClingraphBackend (class in clinguin.server.application.backends) clinguin.server.application.backends module ClinguinContext (class in clinguin.server.data.clinguin_context) concat() (ClinguinContext method) D download() (ClingoBackend method), [1] E ExplanationBackend (class in clinguin.server.application.backends) F format() (ClinguinContext method) G get() (ClingoBackend method) get_attributes() (UIState method) get_attributes_for_element_id() (UIState method) get_attributes_grouped() (UIState method) get_callbacks() (UIState method) get_callbacks_for_element_id() (UIState method) get_callbacks_grouped() (UIState method) get_elements() (UIState method) ground() (ClingoBackend method), [1] I is_empty (UIState property) M module clinguin.server.application.backends N next_solution() (ClingoBackend method), [1] R register_options() (ClingoBackend class method), [1] (ClingoDLBackend class method) (ClingraphBackend class method) (ExplanationBackend class method) remove_assumption() (ClingoBackend method), [1] remove_assumption_signature() (ClingoBackend method), [1] remove_atom() (ClingoBackend method), [1] replace_attribute() (UIState method) replace_images_with_b64() (UIState method) restart() (ClingoBackend method), [1] S select() (ClingoBackend method), [1] set_constant() (ClingoBackend method), [1] set_external() (ClingoBackend method), [1] stop_browsing() (ClingoBackend method), [1] stringify() (ClinguinContext method) symbols_to_facts() (UIState class method) U ui_control() (UIState method) UIState (class in clinguin.server.data.ui_state), [1] unifiers (UIState attribute) update() (ClingoBackend method), [1] update_ui_state() (UIState method)