Searched defs:StateMarker (Results 1 – 1 of 1) sorted by relevance
454 struct StateMarker { struct461 Solver::MarkerType type_;462 int rev_int_index_;463 int rev_int64_index_;464 int rev_uint64_index_;465 int rev_double_index_;466 int rev_ptr_index_;468 int rev_bools_index_;469 int rev_int_memory_index_;474 int rev_memory_index_;[all …]