added an API for printing the PGF to human readable format

This commit is contained in:
kr.angelov
2012-01-21 10:27:55 +00:00
parent d164ddfbe1
commit 28bce1cdc0
8 changed files with 94 additions and 34 deletions

View File

@@ -147,6 +147,12 @@ PgfExpr
pgf_read_expr(GuReader* rdr, GuPool* pool, GuExn* err);
void
pgf_expr_print(PgfExpr expr, GuWriter* wtr, GuExn* err);
pgf_print_expr(PgfExpr expr, int prec, GuWriter* wtr, GuExn* err);
void
pgf_print_hypo(PgfHypo *hypo, int prec, GuWriter *wtr, GuExn *err);
void
pgf_print_type(PgfType *type, int prec, GuWriter *wtr, GuExn *err);
#endif /* EXPR_H_ */