satsolver
0.17.2
|
#include <repo.h>
Public Attributes | |
KeyValue | kv |
unsigned char * | dp |
Id * | keyp |
KeyValue _Dataiterator::di_parent::kv |
Definition at line 250 of file repo.h.
Referenced by dataiterator_clonepos(), dataiterator_init_clone(), dataiterator_seek(), and dataiterator_step().
unsigned char* _Dataiterator::di_parent::dp |
Definition at line 251 of file repo.h.
Referenced by dataiterator_seek(), and dataiterator_step().
Id* _Dataiterator::di_parent::keyp |
Definition at line 252 of file repo.h.
Referenced by dataiterator_seek(), and dataiterator_step().