sys/src/cmd/forp/fns.h

   1 typedef struct SATSolve SATSolve;
   2
   3 void *emalloc(ulong);
   4 void *erealloc(void *, ulong);
   5 void parse(char *);
   6 void error(Line *, char *, ...);
   7 Node *node(int t, ...);
   8 Symbol *symget(char *);
   9 void convert(Node *, uint);
  10 void obviously(Node *);
  11 void go(int);
  12 void assume(Node *);
  13 int satand1(SATSolve *, int *, int);
  14 int satandv(SATSolve *, ...);
  15 int sator1(SATSolve *, int *, int);
  16 int satorv(SATSolve *, ...);
  17 int satlogic1(SATSolve *, u64int, int *, int);
  18 int satlogicv(SATSolve *, u64int, ...);