21 lines
427 B
C
21 lines
427 B
C
|
#ifndef RZ_TYSOLVER_H
|
||
|
|
#define RZ_TYSOLVER_H
|
||
|
|
|
||
|
|
#include "commons.h"
|
||
|
|
#include "tysy.h"
|
||
|
|
#include "node.h"
|
||
|
|
#include "sym.h"
|
||
|
|
|
||
|
|
typedef struct {
|
||
|
|
sym_t* sym;
|
||
|
|
tysy_t* tysy;
|
||
|
|
} tysolver_t;
|
||
|
|
|
||
|
|
void tysolver_init(tysolver_t* tysolver, sym_t* sym, tysy_t* tysy);
|
||
|
|
void tysolver_free(tysolver_t* tysolver);
|
||
|
|
|
||
|
|
type_t* tysolver_try_solve_node(tysolver_t* tysolver, node_t* node);
|
||
|
|
void tysolver_error(tysolver_t* tysolver, node_t* node);
|
||
|
|
|
||
|
|
#endif
|