Home
last modified time | relevance | path

Searched refs:state_set (Results 1 – 25 of 402) sorted by relevance

12345678910>>...17

/dports/math/z3/z3-z3-4.8.13/src/util/
H A Dstate_graph.h71 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 Dstate_graph.h71 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 DDFA.py54 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 DDFA.py54 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 DDFA.py54 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 DDFA.py54 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 DDFA.py55 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 DDFA.py50 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 Dtaatgba.hh42 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 Dtaatgba.cc73 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 Dtaatgba.hh42 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 Dtaatgba.cc73 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 Dgailseparator.c59 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 Dgailbox.c59 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 Dgailtogglebutton.c93 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 Dgailcheckmenuitem.c109 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 Dgailchecksubmenuitem.c106 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 Dgailcell.c127 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 Dgtknotebookpageaccessible.c145 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 Dgtkflowboxchildaccessible.c44 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 Dgtklistboxrowaccessible.c44 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 Dgucharmap-chartable-cell-accessible.c70 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 Dea-minicard.c203 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 Dgal-a11y-e-table-column-header.c45 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 Defl_access_object.h10 #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

12345678910>>...17