Index

A

actupon() (boonify.Controllability method) add_color_history() (boonify.Boonify method) add_history() (boonify.Boonify method)

app (boonify.Threader attribute) apply() (boonify.Threader method) asynchronous() (in module boon)

B

boon module BooN (class in boon) boon.logic module

boon_to_graph() (boonify.Network method) boonify module Boonify (class in boonify) build_color_palette() (boonify.Graph method) build_resize_palette() (boonify.Graph method)

C

cb_network_layout() (boonify.Model method) cb_styling() (boonify.StableStates method) (boonify.View method) change_edge_sign() (boonify.Graph method) change_formula() (boonify.View method) clause2literals() (in module boon.logic) closeEvent() (boonify.Boonify method) cnf() (boon.BooN method)

cnf2clauses() (in module boon.logic) control() (boon.BooN method) Controllability (class in boonify) controllability() (boonify.Boonify method) (boonify.Controllability method) controls2actions() (in module boon) convertdnf() (boonify.View method) copy() (boon.BooN method) core2actions() (in module boon)

D

delete() (boon.BooN method) delete_selection() (boonify.Graph method) desc (boon.BooN attribute) destify() (boon.BooN method) destiny_to_observers() (boonify.Controllability method)

display_controllability() (boonify.Controllability method) display_saved_flag() (boonify.Boonify method) dnf() (boon.BooN method) draw_IG() (boon.BooN method) draw_model() (boon.BooN method)

E

equilibria() (boon.BooN method)

errmsg() (in module boon.logic) exportation() (boonify.Boonify method)

F

filter_necessary() (boon.BooN method) firstsymbol() (in module boon.logic)

from_ig() (boon.BooN class method) from_sbmlfile() (boon.BooN class method) from_textfile() (boon.BooN class method)

G

Graph (class in boonify)

graph_to_boon() (boonify.Network method)

H

Help (class in boonify) help() (boonify.Boonify method)

history_raz() (boonify.Boonify method) hypercube_layout() (in module boon)

I

importation() (boonify.Boonify method) initialize_controllability() (boonify.Controllability method) initialize_view() (boonify.View method) int2state() (in module boon)

interaction_graph (boon.BooN property) is_controlled() (in module boon) isctrl() (in module boon) isnegctrl() (in module boon)

L

load() (boon.BooN class method)

M

Model (class in boonify) model() (boon.BooN method) (boonify.Boonify method) modeling() (boonify.Model method)

module boon boon.logic boonify

N

necessary() (boon.BooN method) Network (class in boonify)

newvar() (in module boon.logic) next_default_label() (boonify.Graph method)

O

observers_to_destiny() (boonify.Controllability method) on_canvas_motion() (boonify.Graph method) on_canvas_press() (boonify.Graph method) on_canvas_release() (boonify.Graph method)

on_graph_changed() (boonify.Boonify method) on_key_press() (boonify.Graph method) open() (boonify.Boonify method) open_color_palette() (boonify.Graph method) open_resize_menu() (boonify.Graph method)

P

pick_edge_color() (boonify.Graph method) pos (boon.BooN attribute)

possibly() (boon.BooN method) prettyform() (in module boon.logic) prime_implicants() (in module boon.logic)

Q

QAbstractItemView (class in boonify) QDialog (class in boonify) QDialogButtonBox (class in boonify) QFrame (class in boonify) QGroupBox (class in boonify)

QHeaderView (class in boonify) QMainWindow (class in boonify) QTableWidget (class in boonify) quit() (boonify.Boonify method) (boonify.Threader method)

R

random() (boon.BooN class method) rb_mode() (boonify.Model method) redo() (boonify.Boonify method) redraw_graph() (boonify.Graph method) refresh() (boonify.Boonify method)

refresh_next_node_id() (boonify.Graph method) rename() (boon.BooN method) rename_node() (boonify.Graph method) reset_zoom() (boonify.Graph method) run() (boonify.Threader method)

S

save() (boon.BooN method) (boonify.Boonify method) saveas() (boonify.Boonify method) select_action() (boonify.Controllability method) set_default_edge_sign() (boonify.Graph method) set_edge_color_from_palette() (boonify.Graph method) set_family_color() (boonify.Graph method) setup_callbacks() (boonify.Boonify method) setup_color_menu() (boonify.Graph method) setup_design() (boonify.Graph method) setup_resize_menu() (boonify.Graph method) show_history() (boonify.Boonify method)

show_less_colors() (boonify.Graph method) show_more_colors() (boonify.Graph method) stability_constraints() (boon.BooN method) stable_states (boon.BooN property) StableStates (class in boonify) stablestates() (boonify.Boonify method) (boonify.StableStates method) state2int() (in module boon) str() (boon.BooN method) style (boon.BooN attribute) supercnf() (in module boon.logic) sympy2z3() (in module boon.logic) synchronous() (in module boon)

T

thread (boonify.Threader attribute) Threader (class in boonify) to_textfile() (boon.BooN method)

toggle_edge_sign() (boonify.Graph method) toggle_family_colors() (boonify.Graph method) tseitin() (in module boon.logic) tseitin_cnf() (in module boon.logic)

U

undo() (boonify.Boonify method)

V

variables (boon.BooN property)

View (class in boonify) view() (boonify.Boonify method)

Z

zoom_in() (boonify.Graph method)

zoom_out() (boonify.Graph method)