---

V2States.h

Go to the documentation of this file.

/*
 * Copyright (C) 2000 KOM/Darmstadt University of Technology
 *
 * This program 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, or (at your option) any
 * later version.
 *
 * This program 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 program; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
 * USA.
 */
#ifndef V2_STATES_H
#define V2_STATES_H

#include "V1States.h"
#include "MNString.h"
#include "MNArray.h"

class V1Transition;

class V2StateVector;
class V2PartialState;
class V2StateOther;
class V2StateKeep;

/***********************************************************************
 * V2StateVector
 ***********************************************************************/

class V2StateVector
{
    typedef V2PartialState* V2PartialStatePtr;

    V2PartialState** _vector;
    int              _dimension;
    V1Transition*    _transition;
    int              _first_line;

public:
    enum Mode { Name, Index };

public:
    V2StateVector( int dimension, int first_line, V1Transition* trans );
    // V2StateVector( int dimension, int* v, int first_line, Mode m = Name );
    V2StateVector( int dimension, int* v, int first_line, Mode m );
    V2StateVector( V2StateVector& orig );
    ~V2StateVector( );

    void          set( int dim, V2PartialState* s );
    int*          getIndexVector();
    int*          getIndexVectorWithSignals();
    V1Transition* getTransition( );

    bool keep();
    bool generic();

    MNString asIndexVector( );
    MNString asNameVector( );
    MNString asSymbolicName( );
    MNString asNextstateParameters( );

    int getFirstLine( );

    // void addTransition( V1Transition* t );
};

/***********************************************************************
 * V2PartialState
 ***********************************************************************/

class V2PartialState
{
    int           _dimension;
    int           _name;
    int           _ps_index;

public:
    enum Mode { Name, Index };

public:
    V2PartialState( int dimension );
    V2PartialState( int dimension, int name, Mode mode = Name );
    V2PartialState( int dimension, V1PartialState& orig );
    virtual ~V2PartialState( ) { }

    virtual MNString getString();
    virtual int      getName();
    virtual int      getIndex();

    virtual bool keep();
    virtual bool generic();
};

/***********************************************************************
 * V2StateOther
 ***********************************************************************/

class V2StateOther : public V2PartialState
{
public:
    V2StateOther( int dimension );
    virtual ~V2StateOther() { }

    virtual MNString getString();
    virtual int      getName();
    virtual int      getIndex();

    virtual bool generic();
};

/***********************************************************************
 * V2StateKeep
 ***********************************************************************/

class V2StateKeep : public V2PartialState
{
public:
    V2StateKeep( int dimension );
    virtual ~V2StateKeep() { }

    virtual MNString getString();
    virtual int      getName();
    virtual int      getIndex();

    virtual bool keep();
};

#endif /* V2_STATES_H */

---