cubemain.h

Go to the documentation of this file.

// Copyright (C) 1997-2010 by Pawel Pilarczyk.
//
// This file is part of the Homology Library.  This library 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 2 of the License, or (at your option) any later version.
//
// This library 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 this software; see the file "license.txt".  If not, write to the
// Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
// MA 02111-1307, USA.

// Started in January 2002. Last revision: June 4, 2007.


#ifndef _CHOMP_CUBES_CUBEMAIN_H_
#define _CHOMP_CUBES_CUBEMAIN_H_


#include "chomp/system/config.h"
#include "chomp/system/textfile.h"
#include "chomp/cubes/pointset.h"
#include "chomp/struct/bitfield.h"
#include "chomp/struct/integer.h"
#include "chomp/struct/hashsets.h"

#include <iostream>
#include <fstream>
#include <cstdlib>
#include <cstring>


namespace chomp {
namespace homology {


template <class dest_cube, class src_cube>
inline dest_cube cube_cast (const src_cube &src)
{
        typename dest_cube::CoordType tab [src_cube::MaxDim];
        src. coord (tab);
        return dest_cube (tab, src. dim ());
} /* cube_cast */

// --------------------------------------------------

template <class cubetype>
inline std::ostream &WriteCube (std::ostream &out, const cubetype &c)
{
        typename cubetype::CoordType coord [cubetype::MaxDim];
        c. coord (coord);
        int dim = c. dim ();
        out << "(";
        for (int i = 0; i < dim; ++ i)
        {
                if (i)
                        out << ",";
                out << coord [i];
        }
        out << ")";
        return out;
} /* WriteCube */

// --------------------------------------------------

template <class cubetype>
std::istream &ReadCubeFix (std::istream &in, cubetype &c, int dimfix)
{
        // retrieve the type of coordinates of the cube to read
        typedef typename cubetype::CoordType coordtype;

        // ignore any comments, spaces, tabs and new-line characters
        ignorecomments (in);

        // if there is a number in the input, then there are apparently
        // no parentheses used for the coords or the cube is defined
        // by its number (also indicated with '#')
        if (((in. peek () >= '0') && (in. peek () <= '9')) ||
                (in. peek () == '-') || (in. peek () == '+') ||
                (in. peek () == '#'))
        {
                bool cubenumber = false;
                if (in. peek () == '#')
                {
                        in. get ();
                        ignorecomments (in);
                        cubenumber = true;
                }
                if (in. peek () == '+')
                        in. get ();
                int n = -1;
                in >> n;
                while ((in. peek () == ' ') || (in. peek () == '\t'))
                        in. get ();

                // if the next coordinate of the cube follows,
                // read the coordinates until end-of-line is encountered
                if (!cubenumber &&
                        (((in. peek () >= '0') && (in. peek () <= '9')) ||
                        (in. peek () == '-') || (in. peek () == '+')))
                {
                        // read the coords and determine the space dimension
                        coordtype coord [cubetype::MaxDim];
                        coord [0] = n;
                        int dim = -1;
                        if (in. peek () != '\n')
                        {
                                dim = readcoordinates (in, coord + 1,
                                        cubetype::MaxDim - 1, '\n');
                                if (dim < 0)
                                        throw "Unable to read a cube: "
                                                "Dim too high.";
                        }
                        ++ dim;

                        // if could not read the cube, throw an error message
                        if ((dimfix >= 0) && (dim != dimfix))
                                throw "Unable to read a cube: Wrong dim.";

                        // create a cube with the given coordinates
                        c = cubetype (coord, dim);

                        return in;
                }

                // if the cube is given by its number, read it this way
                else
                {
                        int dim = cubetype::PointBase::defaultdimension ();
                        const typename cubetype::CoordType *coord = 0;
                        if ((n > 0) && (dim > 0))
                        {
                                coord = cubetype::PointBase::coord
                                        (n - 1, dim);
                        }
                        if (!coord)
                                throw "Cube no. out of range while reading.";
                        c = cubetype (n - 1, dim);
                        return in;
                }
        }

        // read the coordinates and determine the space dimension
        typename cubetype::CoordType coord [cubetype::MaxDim];
        int dim = readcoordinates (in, coord, cubetype::MaxDim);
        if (dim < 0)
                throw "Unable to read a cube: Dimension too high.";

        // if could not read the cube, throw an error message
        if ((dimfix >= 0) && (dim != dimfix))
                throw "Unable to read a cube: Wrong dimension.";

        // create the cube with the given coordinates
        c = cubetype (coord, dim);

        return in;
} /* ReadCubeFix */

template <class cubetype>
inline std::istream &ReadCube (std::istream &in, cubetype &c)
{
        return ReadCubeFix (in, c, -1);
} /* ReadCube */

template <class cubsettype>
std::istream &ReadCubes (std::istream &in, cubsettype &s)
{
        // ignore any comments at the beginning of the file
        ignorecomments (in);

        // if the word "dimension" found, ignore the entire line
        if (in. peek () == 'd')
        {
                in. ignore (20000, '\n');
                ignorecomments (in);
        }

        // read the set of cubes using the standard procedure
        return read (in, s, LARGE_SIZE);
} /* ReadCubes */

template <class tCube>
std::istream &ReadCubicalMap (std::istream &in, mvmap<tCube,tCube> &m)
{
        // process the entire input file and read the map line-by-line
        ignorecomments (in);
        while (in. peek () != EOF)
        {
                // ignore all the lines which do not define a map assignment
                while ((closingparenthesis (in. peek ()) == EOF) &&
                        ((in. peek () < '0') || (in. peek () > '9')) &&
                        (in. peek () != EOF))
                {
                        ignoreline (in);
                        ignorecomments (in);
                }

                // if the end of the file has been reached, exit the loop
                if (in. peek () == EOF)
                        break;
        
                // determine the closing parenthesis corresp. to this one
                int closing = closingparenthesis (in. peek ());

                // if the opening parenthesis is valid, read it and
                // check the next character to determine the assignment type
                if (closing != EOF)
                {
                        in. get ();
                        ignorecomments (in);
                }

                // if the assignment is in the general form, decode the line
                if ((closing == EOF) ||
                        (closingparenthesis (in. peek ()) == EOF))
                {
                        // read the domain element
                        tCube e;
                        // if it is given as a number, read it directly
                        if (closing == EOF)
                        {
                                in >> e;
                                if (!in)
                                        throw "Can't read cube's number.";
                        }
                        // otherwise read the coordinates of the cube
                        else
                        {
                                typename tCube::CoordType coord
                                        [tCube::MaxDim];
                                int dim = readcoordinates (in, coord,
                                        tCube::MaxDim, closing);
                                if (!in || (dim <= 0))
                                        throw "Unable to read a cube.";
                                e = tCube (coord, dim);
                        }
                        ignorecomments (in);

                        // read the assignment arrow
                        while (in. peek () == '-')
                                in. get ();
                        if (in. peek () == '>')
                                in. get ();
                        ignorecomments (in);

                        // read the image of the cube
                        read (in, m [e], SMALL_SIZE);
                        ignorecomments (in);
                }

                // otherwise read the assignment in the Jacek & Marcin format
                else
                {
                        // read the argument cell
                        typename tCube::CoordType argleft [tCube::MaxDim];
                        typename tCube::CoordType argright [tCube::MaxDim];
                        int dim = readcoordinates (in, argleft,
                                tCube::MaxDim);
                        ignorecomments (in);
                        int d1 = readcoordinates (in, argright,
                                tCube::MaxDim);
                        ignorecomments (in);

                        // read the closing and opening brackets
                        in. get ();
                        ignorecomments (in);
                        in. get ();
                        ignorecomments (in);

                        // read the value cell
                        typename tCube::CoordType vleft [tCube::MaxDim];
                        typename tCube::CoordType vright [tCube::MaxDim];
                        int d2 = readcoordinates (in, vleft, tCube::MaxDim);
                        ignorecomments (in);
                        int d3 = readcoordinates (in, vright, tCube::MaxDim);
                        ignorecomments (in);

                        // if there was an I/O error, interrupt reading here
                        if (!in || (in. peek () == EOF))
                                throw "Cannot read a map assignment line.";

                        // read the closing bracket
                        in. get ();
                        ignorecomments (in);

                        // check that all the dimensions are the same
                        if ((d1 != dim) || (d2 != dim) || (d3 != dim))
                                throw "Wrong dimensions of vertices.";

                        // verify that the argument cube is of the right size
                        for (int i = 0; i < dim; ++ i)
                        {
                                if (argright [i] - argleft [i] != 1)
                                        throw "Wrong size of an argument.";
                        }

                        // add the argument cube to the map's domain
                        hashedset<tCube> &v = m [tCube (argleft, dim)];

                        // form a rectangle from this value cell
                        tRectangle<typename tCube::CoordType> r
                                (vleft, vright, dim);

                        // add all the value cubes to the image of this element
                        const typename tCube::CoordType *c;
                        while ((c = r. get ()) != NULL)
                                v. add (tCube (c, dim));
                }
        }
        
        return in;
} /* ReadCubicalMap */


} // namespace homology
} // namespace chomp

#endif // _CHOMP_CUBES_CUBEMAIN_H_