VariableListPool.h

Go to the documentation of this file.

/*
 * GiNaCRA - GiNaC Real Algebra package
 * Copyright (C) 2010-2012  Ulrich Loup, Joachim Redies, Sebastian Junges
 *
 * This file is part of GiNaCRA.
 *
 * GiNaCRA is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * GiNaCRA is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with GiNaCRA.  If not, see <http://www.gnu.org/licenses/>.
 *
 */


#ifndef VARIABLEPOOL_H
#define VARIABLEPOOL_H

#include "SymbolDB.h"

namespace GiNaCRA
{
    class VariableListPool
    {
        public:
            VariableListPool();

            static unsigned addVariable()
            {
                return GlobalVariables->addSymbol();
            }

            static unsigned addVariable( symbol s )
            {
                return GlobalVariables->addSymbol( s );
            }

            static unsigned addParameter()
            {
                return GlobalParameters->addSymbol();
            }

            inline static GiNaC::symbol getVariableSymbol( unsigned index )
            {
                return (*GlobalVariables)[index];
            }

            inline static GiNaC::symbol getParameterSymbol( unsigned index )
            {
                return (*GlobalParameters)[index];
            }

            inline static std::list<symbol> getVariableList()
            {
                return GlobalVariables->getSymbolList();
            }

            inline static std::vector<symbol> getVariables()
            {
                return GlobalVariables->getSymbolVector();
            }

            inline static void ensureNrVariables( unsigned nrOfVars )
            {
                for( unsigned i = GlobalVariables->size(); i <= nrOfVars; ++i )
                {
                    GlobalVariables->addSymbol();
                }
            }

            static bool Initialize();

        protected:

            static SymbolDB*           GlobalVariables;
            static SymbolDB*           GlobalParameters;
            static map<symbol, symbol> Matching;
            static bool                mInitialized;

    };

}

#endif