1 #ifndef LGLDIMACS_h_INCLUDED
2 #define LGLDIMACS_h_INCLUDED
7 typedef struct LDR LDR;
9 typedef void * (*ldralloc) (void* state, size_t);
10 typedef void * (*ldrealloc) (void* state, void*, size_t, size_t);
11 typedef void (*ldrdealloc) (void* state, void*, size_t);
12 typedef void (*ldropt)(void *state, const char * opt, int val);
13 typedef void (*ldrheader)(void *state, int vars, int clauses);
14 typedef void (*ldradd)(void *state, int lit);
17 LDR * ldrminit (void * state, ldralloc, ldrealloc, ldrdealloc);
18 void ldrelease (LDR *);
20 void ldrsetopt (LDR *, void * optmgr, ldropt);
21 void ldrsetheader (LDR *, void * header, ldrheader);
22 void ldrsetadd (LDR *, void * adder, ldradd);
24 void ldrsetpath (LDR *, const char * path);
25 void ldrsetfile (LDR *, FILE * file);
26 void ldrsetnamedfile (LDR *, FILE * file, const char * path);
30 const char * ldrerr (LDR *);