shithub: riscv

ref: 57f8b3d1acf273a88568c49d0b83b6863485b9e0
dir: /sys/src/cmd/forp/fns.h/

View raw version 
typedef struct SATSolve SATSolve;

void *emalloc(ulong);
void *erealloc(void *, ulong);
void parse(char *);
void error(Line *, char *, ...);
Node *node(int t, ...);
Symbol *symget(char *);
void convert(Node *, uint);
void obviously(Node *);
void go(int);
void assume(Node *);
int satand1(SATSolve *, int *, int);
int satandv(SATSolve *, ...);
int sator1(SATSolve *, int *, int);
int satorv(SATSolve *, ...);
int satlogic1(SATSolve *, u64int, int *, int);
int satlogicv(SATSolve *, u64int, ...);