shithub: riscv

ref: 4a92a8f6b2502750a69e87d398ffb2f069103bf4
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, ...);