more AST reorganization

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@274 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/AST/ASTNode.cpp b/src/AST/ASTNode.cpp
index 55485c42f1042460f38ef253d5fb9a9b169704c6..53d588d4e2d80f3fa5fe2f437f35ba827e6c3a5e 100644 (file)
--- a/src/AST/ASTNode.cpp
+++ b/src/AST/ASTNode.cpp
@@ -16,7 +16,7 @@ namespace BEEV
   // Constructor; 
   //
   // creates a new pointer, increments refcount of pointed-to object.
-  inline ASTNode::ASTNode(ASTInternal *in) :
+   ASTNode::ASTNode(ASTInternal *in) :
     _int_node_ptr(in)
   {
     if (in)
@@ -34,40 +34,40 @@ namespace BEEV
   } //End of Copy Constructor for ASTNode
 
   // ASTNode accessor function.
-  inline Kind ASTNode::GetKind() const
+   Kind ASTNode::GetKind() const
   {
     //cout << "GetKind: " << _int_node_ptr;
     return _int_node_ptr->GetKind();
   } //End of GetKind()
 
   // Declared here because of same ordering problem as GetKind.
-  inline const ASTVec &ASTNode::GetChildren() const
+   const ASTVec &ASTNode::GetChildren() const
   {
     return _int_node_ptr->GetChildren();
   } //End of GetChildren()
 
   // Access node number
-  inline int ASTNode::GetNodeNum() const
+   int ASTNode::GetNodeNum() const
   {
     return _int_node_ptr->_node_num;
   } //End of GetNodeNum()
 
-  inline unsigned int ASTNode::GetIndexWidth() const
+   unsigned int ASTNode::GetIndexWidth() const
   {
     return _int_node_ptr->_index_width;
   } //End of GetIndexWidth()
 
-  inline void ASTNode::SetIndexWidth(unsigned int iw) const
+   void ASTNode::SetIndexWidth(unsigned int iw) const
   {
     _int_node_ptr->_index_width = iw;
   } //End of SetIndexWidth()
 
-  inline unsigned int ASTNode::GetValueWidth() const
+   unsigned int ASTNode::GetValueWidth() const
   {
     return _int_node_ptr->_value_width;
   } //End of GetValueWidth()
 
-  inline void ASTNode::SetValueWidth(unsigned int vw) const
+   void ASTNode::SetValueWidth(unsigned int vw) const
   {
     _int_node_ptr->_value_width = vw;
   } //End of SetValueWidth()
@@ -75,7 +75,7 @@ namespace BEEV
   //return the type of the ASTNode: 
   //
   // 0 iff BOOLEAN; 1 iff BITVECTOR; 2 iff ARRAY; 3 iff UNKNOWN;
-  inline types ASTNode::GetType() const
+   types ASTNode::GetType() const
   {
     if ((GetIndexWidth() == 0) && (GetValueWidth() == 0)) //BOOLEAN
       return BOOLEAN_TYPE;
@@ -87,7 +87,7 @@ namespace BEEV
   } //End of GetType()
 
   // Assignment
-  inline ASTNode& ASTNode::operator=(const ASTNode& n)
+   ASTNode& ASTNode::operator=(const ASTNode& n)
   {
     if (n._int_node_ptr)
       {
@@ -102,7 +102,7 @@ namespace BEEV
   } //End of operator=
 
   // Destructor
-  inline ASTNode::~ASTNode()
+  ASTNode::~ASTNode()
   {
     if (_int_node_ptr)
       {
@@ -110,7 +110,7 @@ namespace BEEV
       }
   } //End of Destructor()
 
-  inline BeevMgr* ASTNode::GetBeevMgr() const
+   BeevMgr* ASTNode::GetBeevMgr() const
   {
     return GlobalBeevMgr;
   } //End of GetBeevMgr()