| /dports/math/spot/spot-2.10.2/tests/python/ |
| H A D | mergedge.py | 50 assert not spot.is_deterministic(aut)
55 assert spot.is_deterministic(aut)
79 assert spot.is_deterministic(aut)
84 assert spot.is_deterministic(aut)
|
| H A D | dualize.py | 37 return (not spot.is_deterministic(aut) or spot.is_deterministic(dual))\
82 assert aut.is_deterministic()
|
| /dports/math/py-spot/spot-2.10.2/tests/python/ |
| H A D | mergedge.py | 50 assert not spot.is_deterministic(aut)
55 assert spot.is_deterministic(aut)
79 assert spot.is_deterministic(aut)
84 assert spot.is_deterministic(aut)
|
| H A D | dualize.py | 37 return (not spot.is_deterministic(aut) or spot.is_deterministic(dual))\
82 assert aut.is_deterministic()
|
| /dports/science/dakota/dakota-6.13.0-release-public.src-UI/packages/external/trilinos/packages/teuchos/parser/src/ |
| H A D | Teuchos_FiniteAutomaton.cpp | 21 is_deterministic(is_deterministic_init) in FiniteAutomaton()
30 swap(is_deterministic, other.is_deterministic); in swap()
38 return get_ncols(fa.table) - (fa.is_deterministic ? 0 : 2); in get_nsymbols()
42 return fa.is_deterministic; in get_determinism()
46 TEUCHOS_ASSERT(!fa.is_deterministic); in get_epsilon0()
51 TEUCHOS_ASSERT(!fa.is_deterministic); in get_epsilon1()
102 if (!other_determ) TEUCHOS_ASSERT(!fa.is_deterministic); in append_states()
|
| /dports/math/spot/spot-2.10.2/spot/twaalgos/ |
| H A D | minimize.cc | 389 bool input_is_det = is_deterministic(a); in minimize_wdba()
579 && (f.is_syntactic_recurrence() || is_deterministic(aut))) in is_wdba_realizable()
589 if (is_deterministic(aut)) in is_wdba_realizable()
611 || (aut_f->prop_weak().is_true() && is_deterministic(aut_f)) in minimize_obligation_garanteed_to_work()
636 if (!(is_deterministic(aut_f) || f || is_very_weak_automaton(aut_f))) in minimize_obligation()
662 if (is_deterministic(aut_f)) in minimize_obligation()
|
| /dports/math/py-spot/spot-2.10.2/spot/twaalgos/ |
| H A D | minimize.cc | 389 bool input_is_det = is_deterministic(a); in minimize_wdba()
579 && (f.is_syntactic_recurrence() || is_deterministic(aut))) in is_wdba_realizable()
589 if (is_deterministic(aut)) in is_wdba_realizable()
611 || (aut_f->prop_weak().is_true() && is_deterministic(aut_f)) in minimize_obligation_garanteed_to_work()
636 if (!(is_deterministic(aut_f) || f || is_very_weak_automaton(aut_f))) in minimize_obligation()
662 if (is_deterministic(aut_f)) in minimize_obligation()
|
| /dports/lang/spidermonkey60/firefox-60.9.0/toolkit/components/protobuf/src/google/protobuf/ |
| H A D | generated_message_util.h | 204 int num_fields, bool is_deterministic,
209 bool is_deterministic, uint8* buffer) { in TableSerializeToArray() argument
214 is_deterministic, buffer); in TableSerializeToArray()
|
| H A D | generated_message_util.cc | 284 bool is_deterministic; member
301 output->is_deterministic, output->ptr); in SerializeMessageNoTable()
328 output->is_deterministic, output->ptr); in SerializeMessageDispatch()
637 int32 num_fields, bool is_deterministic, in SerializeInternalToArray() argument
639 ArrayOutput array_output = {buffer, is_deterministic}; in SerializeInternalToArray()
667 output.SetSerializationDeterministic(is_deterministic); in SerializeInternalToArray()
|
| /dports/databases/percona56-server/percona-server-5.6.51-91.0/mysql-test/suite/engines/funcs/r/ |
| H A D | rpl_sp.result | 20 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
33 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
109 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
119 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
121 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
197 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
221 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
|
| /dports/databases/percona-pam-for-mysql/percona-server-5.6.51-91.0/mysql-test/suite/engines/funcs/r/ |
| H A D | rpl_sp.result | 20 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
33 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
109 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
119 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
121 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
197 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
221 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
|
| /dports/databases/percona56-client/percona-server-5.6.51-91.0/mysql-test/suite/engines/funcs/r/ |
| H A D | rpl_sp.result | 20 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
33 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
109 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
119 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
121 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
197 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
221 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
|
| /dports/databases/mysqlwsrep56-server/mysql-wsrep-wsrep_5.6.51-25.33/mysql-test/suite/engines/funcs/r/ |
| H A D | rpl_sp.result | 20 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
33 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
109 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
119 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
121 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
197 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
221 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
|
| /dports/databases/mysql56-client/mysql-5.6.51/mysql-test/suite/engines/funcs/r/ |
| H A D | rpl_sp.result | 20 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
33 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
109 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
119 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
121 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
197 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
221 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
|
| /dports/databases/mysql55-client/mysql-5.5.62/mysql-test/suite/engines/funcs/r/ |
| H A D | rpl_sp.result | 20 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
33 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
109 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
119 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
121 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
197 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
221 db name type specific_name language sql_data_access is_deterministic security_type param_list retur…
|
| /dports/lang/spidermonkey78/firefox-78.9.0/toolkit/components/protobuf/src/google/protobuf/ |
| H A D | generated_message_table_driven.h | 260 int32 num_fields, bool is_deterministic,
265 bool is_deterministic, uint8* buffer) { in TableSerializeToArray() argument
270 is_deterministic, buffer); in TableSerializeToArray()
|
| /dports/mail/thunderbird/thunderbird-91.8.0/toolkit/components/protobuf/src/google/protobuf/ |
| H A D | generated_message_table_driven.h | 260 int32 num_fields, bool is_deterministic,
265 bool is_deterministic, uint8* buffer) { in TableSerializeToArray() argument
270 is_deterministic, buffer); in TableSerializeToArray()
|
| /dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/protobuf/src/google/protobuf/ |
| H A D | generated_message_table_driven.h | 260 int32 num_fields, bool is_deterministic,
265 bool is_deterministic, uint8* buffer) { in TableSerializeToArray() argument
270 is_deterministic, buffer); in TableSerializeToArray()
|
| /dports/www/firefox/firefox-99.0/toolkit/components/protobuf/src/google/protobuf/ |
| H A D | generated_message_table_driven.h | 260 int32 num_fields, bool is_deterministic,
265 bool is_deterministic, uint8* buffer) { in TableSerializeToArray() argument
270 is_deterministic, buffer); in TableSerializeToArray()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/protobuf/src/google/protobuf/ |
| H A D | generated_message_table_driven.h | 260 int32 num_fields, bool is_deterministic,
265 bool is_deterministic, uint8* buffer) { in TableSerializeToArray() argument
270 is_deterministic, buffer); in TableSerializeToArray()
|
| /dports/graphics/opencv/opencv-4.5.3/3rdparty/protobuf/src/google/protobuf/ |
| H A D | generated_message_util.h | 204 int num_fields, bool is_deterministic,
209 bool is_deterministic, uint8* buffer) { in TableSerializeToArray() argument
214 is_deterministic, buffer); in TableSerializeToArray()
|
| H A D | generated_message_util.cc | 287 bool is_deterministic; member
304 output->is_deterministic, output->ptr); in SerializeMessageNoTable()
331 output->is_deterministic, output->ptr); in SerializeMessageDispatch()
640 int32 num_fields, bool is_deterministic, in SerializeInternalToArray() argument
642 ArrayOutput array_output = {buffer, is_deterministic}; in SerializeInternalToArray()
670 output.SetSerializationDeterministic(is_deterministic); in SerializeInternalToArray()
|
| /dports/www/firefox-esr/firefox-91.8.0/toolkit/components/protobuf/src/google/protobuf/ |
| H A D | generated_message_table_driven.h | 260 int32 num_fields, bool is_deterministic,
265 bool is_deterministic, uint8* buffer) { in TableSerializeToArray() argument
270 is_deterministic, buffer); in TableSerializeToArray()
|
| /dports/devel/protobuf/protobuf-3.17.3/src/google/protobuf/ |
| H A D | generated_message_table_driven.h | 267 int32 num_fields, bool is_deterministic,
272 bool is_deterministic, uint8* buffer) { in TableSerializeToArray() argument
277 is_deterministic, buffer); in TableSerializeToArray()
|
| /dports/devel/py-grpcio-tools/grpcio-tools-1.43.0/third_party/protobuf/src/google/protobuf/ |
| H A D | generated_message_table_driven.h | 271 int32_t num_fields, bool is_deterministic,
276 bool is_deterministic, uint8_t* buffer) { in TableSerializeToArray() argument
281 is_deterministic, buffer); in TableSerializeToArray()
|