summaryrefslogtreecommitdiff
path: root/src/colm.h
diff options
context:
space:
mode:
authorAdrian Thurston <thurston@colm.net>2018-12-12 12:19:06 +0200
committerAdrian Thurston <thurston@colm.net>2018-12-12 12:19:06 +0200
commit46afc4c66c0075d01646df65d0939571c91e9050 (patch)
tree57013b98ea88e158672d1ecd009cdbbd4fa7ee2d /src/colm.h
parent779a96e143c9aaccebd24f5de48dee04e46aeab6 (diff)
downloadcolm-46afc4c66c0075d01646df65d0939571c91e9050.tar.gz
make it optional to clean trees as we reduce
Was always freeing trees after each reduction action. Can now turn this off and have the trees underneath what we have reduced available.
Diffstat (limited to 'src/colm.h')
-rw-r--r--src/colm.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/colm.h b/src/colm.h
index 79dc2493..aac0ee2c 100644
--- a/src/colm.h
+++ b/src/colm.h
@@ -131,6 +131,7 @@ int colm_delete_program( struct colm_program *prg );
/* Set the pointer to the reduce struct used. */
void *colm_get_reduce_ctx( struct colm_program *prg );
void colm_set_reduce_ctx( struct colm_program *prg, void *ctx );
+void colm_set_reduce_clean( struct colm_program *prg, unsigned char reduce_clean );
const char *colm_error( struct colm_program *prg, int *length );