From c0e0b39a1d872c86ea34af439446d92a380aed96 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Mon, 2 Feb 2015 10:34:19 +0000 Subject: [PATCH] Datalog: save memory in the compiler by using a union Signed-off-by: Nuno Lopes --- src/muz/rel/dl_compiler.h | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/src/muz/rel/dl_compiler.h b/src/muz/rel/dl_compiler.h index b498d7e61..8c33f987c 100644 --- a/src/muz/rel/dl_compiler.h +++ b/src/muz/rel/dl_compiler.h @@ -82,9 +82,11 @@ namespace datalog { relation_sort domain; // domain of the column assembling_column_kind kind; // "instruction" tag - unsigned source_column; // for ACK_BOUND_VAR - unsigned var_index; // for ACK_UNBOUND_VAR - relation_element constant; // for ACK_CONSTANT + union { + unsigned source_column; // for ACK_BOUND_VAR + unsigned var_index; // for ACK_UNBOUND_VAR + relation_element constant; // for ACK_CONSTANT + }; }; class instruction_observer : public instruction_block::instruction_observer {