/dports/math/z3/z3-z3-4.8.13/src/util/ |
H A D | state_graph.h | 71 typedef uint_set state_set; typedef 72 typedef u_map<state_set> edge_rel; 89 state_set m_live; 90 state_set m_dead; 91 state_set m_unknown; 92 state_set m_unexplored; 94 state_set m_seen; 137 bool is_subset(state_set set1, state_set set2) const; 138 bool is_disjoint(state_set set1, state_set set2) const; 166 state merge_states(state_set& s_set);
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/util/ |
H A D | state_graph.h | 71 typedef uint_set state_set; typedef 72 typedef u_map<state_set> edge_rel; 89 state_set m_live; 90 state_set m_dead; 91 state_set m_unknown; 92 state_set m_unexplored; 94 state_set m_seen; 137 bool is_subset(state_set set1, state_set set2) const; 138 bool is_disjoint(state_set set1, state_set set2) const; 166 state merge_states(state_set& s_set);
|
/dports/math/py-cypari2/cypari2-2.1.2/venv/lib/python3.7/site-packages/Cython/Plex/ |
H A D | DFA.py | 54 def set_epsilon_closure(state_set): argument 60 for state1 in state_set: 80 def add_to_epsilon_closure(state_set, state): argument 85 if not state_set.get(state, 0): 86 state_set[state] = 1 90 add_to_epsilon_closure(state_set, state2) 126 def highest_priority_action(self, state_set): argument 129 for state in state_set: 147 def make_key(self, state_set): argument 152 lst = list(state_set)
|
/dports/lang/cython/Cython-0.29.24/Cython/Plex/ |
H A D | DFA.py | 54 def set_epsilon_closure(state_set): argument 60 for state1 in state_set: 80 def add_to_epsilon_closure(state_set, state): argument 85 if not state_set.get(state, 0): 86 state_set[state] = 1 90 add_to_epsilon_closure(state_set, state2) 126 def highest_priority_action(self, state_set): argument 129 for state in state_set: 147 def make_key(self, state_set): argument 152 lst = list(state_set)
|
/dports/lang/cython/Cython-0.29.24/build/lib.dragonfly-6.3-DEVELOPMENT-x86_64-3.8/Cython/Plex/ |
H A D | DFA.py | 54 def set_epsilon_closure(state_set): argument 60 for state1 in state_set: 80 def add_to_epsilon_closure(state_set, state): argument 85 if not state_set.get(state, 0): 86 state_set[state] = 1 90 add_to_epsilon_closure(state_set, state2) 126 def highest_priority_action(self, state_set): argument 129 for state in state_set: 147 def make_key(self, state_set): argument 152 lst = list(state_set)
|
/dports/lang/cython/stage/usr/local/lib/python3.8/site-packages/Cython/Plex/ |
H A D | DFA.py | 54 def set_epsilon_closure(state_set): argument 60 for state1 in state_set: 80 def add_to_epsilon_closure(state_set, state): argument 85 if not state_set.get(state, 0): 86 state_set[state] = 1 90 add_to_epsilon_closure(state_set, state2) 126 def highest_priority_action(self, state_set): argument 129 for state in state_set: 147 def make_key(self, state_set): argument 152 lst = list(state_set)
|
/dports/lang/cython-devel/cython-2b1e743/Cython/Plex/ |
H A D | DFA.py | 55 def set_epsilon_closure(state_set): argument 61 for state1 in state_set: 81 def add_to_epsilon_closure(state_set, state): argument 86 if not state_set.get(state, 0): 87 state_set[state] = 1 91 add_to_epsilon_closure(state_set, state2) 122 def highest_priority_action(self, state_set): argument 125 for state in state_set: 136 def make_key(self, state_set): argument 141 return tuple(sorted(state_set))
|
/dports/devel/py-plex/py38-plex-1.1.5/Plex/ |
H A D | DFA.py | 50 def set_epsilon_closure(state_set): argument 56 for state1 in state_set.keys(): 74 def add_to_epsilon_closure(state_set, state): argument 79 if not state_set.get(state, 0): 80 state_set[state] = 1 84 add_to_epsilon_closure(state_set, state2) 119 def highest_priority_action(self, state_set): argument 122 for state in state_set.keys(): 140 def make_key(self, state_set): argument 145 lst = state_set.keys()
|
/dports/math/spot/spot-2.10.2/spot/twa/ |
H A D | taatgba.hh | 42 typedef std::set<state*> state_set; typedef in spot::taa_tgba 49 const state_set* dst; 62 typedef std::vector<taa_tgba::state_set*> ss_vec; 64 taa_tgba::state_set* init_; 79 set_state(const taa_tgba::state_set* s, bool delete_me = false) in set_state() 94 const taa_tgba::state_set* get_state() const; 96 const taa_tgba::state_set* s_; 176 state_set* dst = add_state_set(d); in create_transition() 212 const state_set* ss = se->get_state(); in format_state() 265 state_set* ss = new state_set; in add_state_set() [all …]
|
H A D | taatgba.cc | 73 const taa_tgba::state_set* 84 const taa_tgba::state_set* s1 = get_state(); in compare() 85 const taa_tgba::state_set* s2 = o->get_state(); in compare() 90 taa_tgba::state_set::const_iterator it1 = s1->begin(); in compare() 91 taa_tgba::state_set::const_iterator it2 = s2->begin(); in compare() 105 taa_tgba::state_set::const_iterator it = s_->begin(); in hash() 118 return new spot::set_state(new taa_tgba::state_set(*s_), true); in clone() 127 taa_succ_iterator::taa_succ_iterator(const taa_tgba::state_set* s, in taa_succ_iterator() 136 t->dst = new taa_tgba::state_set; in taa_succ_iterator() 159 taa_tgba::state_set* ss = new taa_tgba::state_set; in taa_succ_iterator() [all …]
|
/dports/math/py-spot/spot-2.10.2/spot/twa/ |
H A D | taatgba.hh | 42 typedef std::set<state*> state_set; typedef in spot::taa_tgba 49 const state_set* dst; 62 typedef std::vector<taa_tgba::state_set*> ss_vec; 64 taa_tgba::state_set* init_; 79 set_state(const taa_tgba::state_set* s, bool delete_me = false) in set_state() 94 const taa_tgba::state_set* get_state() const; 96 const taa_tgba::state_set* s_; 176 state_set* dst = add_state_set(d); in create_transition() 212 const state_set* ss = se->get_state(); in format_state() 265 state_set* ss = new state_set; in add_state_set() [all …]
|
H A D | taatgba.cc | 73 const taa_tgba::state_set* 84 const taa_tgba::state_set* s1 = get_state(); in compare() 85 const taa_tgba::state_set* s2 = o->get_state(); in compare() 90 taa_tgba::state_set::const_iterator it1 = s1->begin(); in compare() 91 taa_tgba::state_set::const_iterator it2 = s2->begin(); in compare() 105 taa_tgba::state_set::const_iterator it = s_->begin(); in hash() 118 return new spot::set_state(new taa_tgba::state_set(*s_), true); in clone() 127 taa_succ_iterator::taa_succ_iterator(const taa_tgba::state_set* s, in taa_succ_iterator() 136 t->dst = new taa_tgba::state_set; in taa_succ_iterator() 159 taa_tgba::state_set* ss = new taa_tgba::state_set; in taa_succ_iterator() [all …]
|
/dports/x11-toolkits/gtk20/gtk+-2.24.33/modules/other/gail/ |
H A D | gailseparator.c | 59 AtkStateSet *state_set; in gail_separator_ref_state_set() local 62 state_set = ATK_OBJECT_CLASS (gail_separator_parent_class)->ref_state_set (accessible); in gail_separator_ref_state_set() 66 return state_set; in gail_separator_ref_state_set() 69 atk_state_set_add_state (state_set, ATK_STATE_VERTICAL); in gail_separator_ref_state_set() 71 atk_state_set_add_state (state_set, ATK_STATE_HORIZONTAL); in gail_separator_ref_state_set() 73 return state_set; in gail_separator_ref_state_set()
|
H A D | gailbox.c | 59 AtkStateSet *state_set; in gail_box_ref_state_set() local 62 state_set = ATK_OBJECT_CLASS (gail_box_parent_class)->ref_state_set (accessible); in gail_box_ref_state_set() 66 return state_set; in gail_box_ref_state_set() 69 atk_state_set_add_state (state_set, ATK_STATE_VERTICAL); in gail_box_ref_state_set() 71 atk_state_set_add_state (state_set, ATK_STATE_HORIZONTAL); in gail_box_ref_state_set() 73 return state_set; in gail_box_ref_state_set()
|
H A D | gailtogglebutton.c | 93 AtkStateSet *state_set; in gail_toggle_button_ref_state_set() local 97 state_set = ATK_OBJECT_CLASS (gail_toggle_button_parent_class)->ref_state_set (accessible); in gail_toggle_button_ref_state_set() 101 return state_set; in gail_toggle_button_ref_state_set() 106 atk_state_set_add_state (state_set, ATK_STATE_CHECKED); in gail_toggle_button_ref_state_set() 110 atk_state_set_remove_state (state_set, ATK_STATE_ENABLED); in gail_toggle_button_ref_state_set() 111 atk_state_set_add_state (state_set, ATK_STATE_INDETERMINATE); in gail_toggle_button_ref_state_set() 114 return state_set; in gail_toggle_button_ref_state_set()
|
H A D | gailcheckmenuitem.c | 109 AtkStateSet *state_set; in gail_check_menu_item_ref_state_set() local 113 state_set = ATK_OBJECT_CLASS (gail_check_menu_item_parent_class)->ref_state_set (accessible); in gail_check_menu_item_ref_state_set() 117 return state_set; in gail_check_menu_item_ref_state_set() 122 atk_state_set_add_state (state_set, ATK_STATE_CHECKED); in gail_check_menu_item_ref_state_set() 126 atk_state_set_remove_state (state_set, ATK_STATE_ENABLED); in gail_check_menu_item_ref_state_set() 127 atk_state_set_add_state (state_set, ATK_STATE_INDETERMINATE); in gail_check_menu_item_ref_state_set() 130 return state_set; in gail_check_menu_item_ref_state_set()
|
H A D | gailchecksubmenuitem.c | 106 AtkStateSet *state_set; in gail_check_sub_menu_item_ref_state_set() local 110 state_set = ATK_OBJECT_CLASS (gail_check_sub_menu_item_parent_class)->ref_state_set (accessible); in gail_check_sub_menu_item_ref_state_set() 114 return state_set; in gail_check_sub_menu_item_ref_state_set() 119 atk_state_set_add_state (state_set, ATK_STATE_CHECKED); in gail_check_sub_menu_item_ref_state_set() 123 atk_state_set_remove_state (state_set, ATK_STATE_ENABLED); in gail_check_sub_menu_item_ref_state_set() 124 atk_state_set_add_state (state_set, ATK_STATE_INDETERMINATE); in gail_check_sub_menu_item_ref_state_set() 127 return state_set; in gail_check_sub_menu_item_ref_state_set()
|
H A D | gailcell.c | 127 cell->state_set = atk_state_set_new (); in gail_cell_init() 131 atk_state_set_add_state (cell->state_set, ATK_STATE_TRANSIENT); in gail_cell_init() 132 atk_state_set_add_state (cell->state_set, ATK_STATE_ENABLED); in gail_cell_init() 133 atk_state_set_add_state (cell->state_set, ATK_STATE_SENSITIVE); in gail_cell_init() 148 if (cell->state_set) in gail_cell_object_finalize() 149 g_object_unref (cell->state_set); in gail_cell_object_finalize() 186 g_assert (cell->state_set); in gail_cell_ref_state_set() 188 g_object_ref(cell->state_set); in gail_cell_ref_state_set() 189 return cell->state_set; in gail_cell_ref_state_set() 202 rc = atk_state_set_add_state (cell->state_set, state_type); in gail_cell_add_state() [all …]
|
/dports/x11-toolkits/gtk30/gtk+-3.24.31/gtk/a11y/ |
H A D | gtknotebookpageaccessible.c | 145 AtkStateSet *state_set, *label_state_set, *merged_state_set; in gtk_notebook_page_accessible_ref_state_set() local 152 atk_state_set_add_state (state_set, ATK_STATE_SELECTABLE); in gtk_notebook_page_accessible_ref_state_set() 158 atk_state_set_add_state (state_set, ATK_STATE_SELECTED); in gtk_notebook_page_accessible_ref_state_set() 170 g_object_unref (state_set); in gtk_notebook_page_accessible_ref_state_set() 178 return state_set; in gtk_notebook_page_accessible_ref_state_set() 180 merged_state_set = state_set; in gtk_notebook_page_accessible_ref_state_set() 181 state_set = atk_object_ref_state_set (child); in gtk_notebook_page_accessible_ref_state_set() 182 if (atk_state_set_contains_state (state_set, ATK_STATE_VISIBLE)) in gtk_notebook_page_accessible_ref_state_set() 185 if (atk_state_set_contains_state (state_set, ATK_STATE_ENABLED)) in gtk_notebook_page_accessible_ref_state_set() 187 if (atk_state_set_contains_state (state_set, ATK_STATE_SHOWING)) in gtk_notebook_page_accessible_ref_state_set() [all …]
|
H A D | gtkflowboxchildaccessible.c | 44 AtkStateSet *state_set; in gtk_flow_box_child_accessible_ref_state_set() local 47 state_set = ATK_OBJECT_CLASS (gtk_flow_box_child_accessible_parent_class)->ref_state_set (obj); in gtk_flow_box_child_accessible_ref_state_set() 54 atk_state_set_add_state (state_set, ATK_STATE_SELECTABLE); in gtk_flow_box_child_accessible_ref_state_set() 57 atk_state_set_add_state (state_set, ATK_STATE_SELECTED); in gtk_flow_box_child_accessible_ref_state_set() 60 return state_set; in gtk_flow_box_child_accessible_ref_state_set()
|
H A D | gtklistboxrowaccessible.c | 44 AtkStateSet *state_set; in gtk_list_box_row_accessible_ref_state_set() local 47 state_set = ATK_OBJECT_CLASS (gtk_list_box_row_accessible_parent_class)->ref_state_set (obj); in gtk_list_box_row_accessible_ref_state_set() 56 atk_state_set_add_state (state_set, ATK_STATE_SELECTABLE); in gtk_list_box_row_accessible_ref_state_set() 59 atk_state_set_add_state (state_set, ATK_STATE_SELECTED); in gtk_list_box_row_accessible_ref_state_set() 62 return state_set; in gtk_list_box_row_accessible_ref_state_set()
|
/dports/deskutils/gucharmap/gucharmap-3efb47b75b61d7c6db7e48d72f7aa8c4d4365011/gucharmap/ |
H A D | gucharmap-chartable-cell-accessible.c | 70 g_return_val_if_fail (cell->state_set, NULL); in gucharmap_chartable_cell_accessible_ref_state_set() 72 g_object_ref(cell->state_set); in gucharmap_chartable_cell_accessible_ref_state_set() 73 return cell->state_set; in gucharmap_chartable_cell_accessible_ref_state_set() 223 cell->state_set = atk_state_set_new (); in gucharmap_chartable_cell_accessible_init() 227 atk_state_set_add_state (cell->state_set, ATK_STATE_TRANSIENT); in gucharmap_chartable_cell_accessible_init() 228 atk_state_set_add_state (cell->state_set, ATK_STATE_ENABLED); in gucharmap_chartable_cell_accessible_init() 244 if (cell->state_set) in gucharmap_chartable_cell_accessible_object_finalize() 245 g_object_unref (cell->state_set); in gucharmap_chartable_cell_accessible_object_finalize() 317 if (!atk_state_set_contains_state (cell->state_set, state_type)) in gucharmap_chartable_cell_accessible_add_state() 321 rc = atk_state_set_add_state (cell->state_set, state_type); in gucharmap_chartable_cell_accessible_add_state() [all …]
|
/dports/mail/evolution/evolution-3.42.1/src/addressbook/gui/widgets/ |
H A D | ea-minicard.c | 203 AtkStateSet *state_set = NULL; in ea_minicard_ref_state_set() local 206 state_set = ATK_OBJECT_CLASS (parent_class)->ref_state_set (obj); in ea_minicard_ref_state_set() 207 if (!state_set) in ea_minicard_ref_state_set() 208 state_set = atk_state_set_new (); in ea_minicard_ref_state_set() 212 return state_set; in ea_minicard_ref_state_set() 214 atk_state_set_add_state (state_set, ATK_STATE_SELECTABLE); in ea_minicard_ref_state_set() 215 atk_state_set_add_state (state_set, ATK_STATE_ENABLED); in ea_minicard_ref_state_set() 216 atk_state_set_add_state (state_set, ATK_STATE_SENSITIVE); in ea_minicard_ref_state_set() 217 atk_state_set_add_state (state_set, ATK_STATE_SHOWING); in ea_minicard_ref_state_set() 219 return state_set; in ea_minicard_ref_state_set()
|
/dports/mail/evolution/evolution-3.42.1/src/e-util/ |
H A D | gal-a11y-e-table-column-header.c | 45 AtkStateSet *state_set; member 53 GET_PRIVATE (a11y)->state_set = NULL; in etch_init() 61 g_return_val_if_fail (priv->state_set, NULL); in gal_a11y_e_table_column_header_ref_state_set() 63 g_object_ref (priv->state_set); in gal_a11y_e_table_column_header_ref_state_set() 65 return priv->state_set; in gal_a11y_e_table_column_header_ref_state_set() 81 g_clear_object (&priv->state_set); in gal_a11y_e_table_column_header_dispose() 287 GET_PRIVATE (a11y)->state_set = atk_state_set_new (); in gal_a11y_e_table_column_header_new() 289 atk_state_set_add_state (GET_PRIVATE (a11y)->state_set, ATK_STATE_VISIBLE); in gal_a11y_e_table_column_header_new() 290 atk_state_set_add_state (GET_PRIVATE (a11y)->state_set, ATK_STATE_SHOWING); in gal_a11y_e_table_column_header_new() 291 atk_state_set_add_state (GET_PRIVATE (a11y)->state_set, ATK_STATE_SENSITIVE); in gal_a11y_e_table_column_header_new() [all …]
|
/dports/devel/efl/efl-1.25.1/src/lib/elementary/ |
H A D | efl_access_object.h | 10 #define STATE_TYPE_SET(state_set, type) (state_set|= (1ULL << type)) argument 15 #define STATE_TYPE_UNSET(state_set, type) (state_set &= ~(1ULL << type)) argument 20 #define STATE_TYPE_GET(state_set, type) (state_set & (1ULL << type)) argument
|