Home
last modified time | relevance | path

Searched defs:is_empty_state (Results 1 – 6 of 6) sorted by relevance

/dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/include/proof_helpers/
H A Dring_buffer_abstract_states.h11 bool is_empty_state(struct aws_ring_buffer *ring_buf) { in is_empty_state() function
/dports/databases/mariadb105-client/mariadb-10.5.15/sql/
H A Dlog.cc6415 MYSQL_BIN_LOG::is_empty_state() in is_empty_state() function in MYSQL_BIN_LOG
/dports/databases/mariadb104-server/mariadb-10.4.24/sql/
H A Dlog.cc6219 MYSQL_BIN_LOG::is_empty_state() in is_empty_state() function in MYSQL_BIN_LOG
/dports/databases/mariadb104-client/mariadb-10.4.24/sql/
H A Dlog.cc6219 MYSQL_BIN_LOG::is_empty_state() in is_empty_state() function in MYSQL_BIN_LOG
/dports/databases/mariadb103-server/mariadb-10.3.34/sql/
H A Dlog.cc6144 MYSQL_BIN_LOG::is_empty_state() in is_empty_state() function in MYSQL_BIN_LOG
/dports/databases/mariadb105-server/mariadb-10.5.15/sql/
H A Dlog.cc6415 MYSQL_BIN_LOG::is_empty_state() in is_empty_state() function in MYSQL_BIN_LOG