From b0aba1cdc0fb58f684aaaa4cfdee48f7082ee9b6 Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 26 May 2004 08:42:34 +0000 Subject: [PATCH] - Removed obsolete knowledge union. --- src/knowledge.h | 22 +++++++--------------- 1 file changed, 7 insertions(+), 15 deletions(-) diff --git a/src/knowledge.h b/src/knowledge.h index 269a3f8..77146a4 100644 --- a/src/knowledge.h +++ b/src/knowledge.h @@ -15,21 +15,13 @@ struct knowledge //! A list of terms encrypted, such that the inverse is not in the knowledge set. Termlist encrypt; Termlist inverses; - union - { - //! List of open variables in the knowledge set. - /** - * This list is used to determine whether the knowledge needs to be rewritten. - * If a new substitution is done, one of the elements of this list will become closed, - * and we need to reconstruct the knowledge set. - */ - Termlist vars; // special: denotes unsubstituted variables - //! Next pointer. - /** - * Presumably obsolete. - */ - struct knowledge *next; // use for alternative memory management. - }; + //! List of open variables in the knowledge set. + /** + * This list is used to determine whether the knowledge needs to be rewritten. + * If a new substitution is done, one of the elements of this list will become closed, + * and we need to reconstruct the knowledge set. + */ + Termlist vars; // special: denotes unsubstituted variables }; //! Shorthand for knowledge pointer.