GiNaCRA  0.6.4
VariableListPool.cpp
Go to the documentation of this file.
00001 /*
00002  * GiNaCRA - GiNaC Real Algebra package
00003  * Copyright (C) 2010-2012  Ulrich Loup, Joachim Redies, Sebastian Junges
00004  *
00005  * This file is part of GiNaCRA.
00006  *
00007  * GiNaCRA is free software: you can redistribute it and/or modify
00008  * it under the terms of the GNU General Public License as published by
00009  * the Free Software Foundation, either version 3 of the License, or
00010  * (at your option) any later version.
00011  *
00012  * GiNaCRA is distributed in the hope that it will be useful,
00013  * but WITHOUT ANY WARRANTY; without even the implied warranty of
00014  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00015  * GNU General Public License for more details.
00016  *
00017  * You should have received a copy of the GNU General Public License
00018  * along with GiNaCRA.  If not, see <http://www.gnu.org/licenses/>.
00019  *
00020  */
00021 
00022 
00023 #include <vector>
00024 
00025 #include "VariableListPool.h"
00026 #include "CAD.h"
00027 
00028 namespace GiNaCRA
00029 {
00030     SymbolDB*                VariableListPool::GlobalVariables;
00031     SymbolDB*                VariableListPool::GlobalParameters;
00032     std::map<symbol, symbol> VariableListPool::Matching;
00033     bool                     VariableListPool::mInitialized = false;
00034 
00035     VariableListPool::VariableListPool(){}
00036 
00037     bool VariableListPool::Initialize()
00038     {
00039         if( !mInitialized )
00040         {
00041             GlobalVariables  = new SymbolDB( "x" );
00042             GlobalParameters = new SymbolDB( "a" );
00043 
00044             GlobalVariables->addSymbol( "x" );
00045             GlobalVariables->addSymbol( "y" );
00046             GlobalVariables->addSymbol( "z" );
00047             GlobalVariables->addSymbol( "w" );
00048             GlobalVariables->addSymbol( "u" );
00049 
00050             mInitialized = true;
00051         }
00052 
00053         return true;
00054 
00055     }
00056 }