// -*- mode: C++; c-file-style: "stroustrup"; c-basic-offset: 4; -*-
////////////////////////////////////////////////////////////////////
//
// $Id: utapfwd.h 813 2011-09-10 12:31:51Z Sebastian Kupferschmid $
//
////////////////////////////////////////////////////////////////////

#ifndef COMMON_UTAP_FWD_H
#define COMMON_UTAP_FWD_H

namespace UTAP {
    class expression_t;
    class variable_t;
    class instance_t;
    class state_t;
    class edge_t;
    class type_t;
    class TimedAutomataSystem;
}

#endif /* COMMON_UTAP_FWD_H */
