#ifndef VAUCANSON_CONTEXTS_BMIG_INT_Z_MIN_PLUS_AUTOMATON_HH
# define VAUCANSON_CONTEXTS_BMIG_INT_Z_MIN_PLUS_AUTOMATON_HH
# ifndef VCSN_GRAPH_IMPL
#  define VCSN_GRAPH_IMPL bmig
#  define VCSN_GRAPH_IMPL_INCLUDE_PATH vaucanson/automata/implementation
#  define VCSN_CONTEXT_INCLUDE_PATH vaucanson/contexts
# else
#  define DONT_UNDEF
# endif

# ifndef VCSN_DEFAULT_GRAPH_IMPL
#  define VCSN_DEFAULT_GRAPH_IMPL bmig
#  define VCSN_ALIAS_NAMESPACE
# endif

# include <vaucanson/misc/usual_macros.hh>
# include <vaucanson/automata/generic_contexts/int_z_min_plus_automaton.hh>
# if !defined(ALIAS_int_z_min_plus_automaton) && defined(VCSN_ALIAS_NAMESPACE)
#  define ALIAS_int_z_min_plus_automaton
namespace vcsn
{
  namespace int_z_min_plus_automaton = vcsn::VCSN_DEFAULT_GRAPH_IMPL::int_z_min_plus_automaton;
}
# endif

# ifndef DONT_UNDEF
#  undef VCSN_GRAPH_IMPL
#  undef VCSN_GRAPH_IMPL_INCLUDE_PATH
#  undef VCSN_CONTEXT_INCLUDE_PATH
# else
#  undef DONT_UNDEF
# endif
#endif // !VAUCANSON_CONTEXTS_BMIG_INT_Z_MIN_PLUS_AUTOMATON_HH
