1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#ifndef GOOSE_EIR_TOSTRING_H
#define GOOSE_EIR_TOSTRING_H
namespace goose::eir
{
class Vector;
enum class Delimiter;
extern ostream& ToString( ostream& out, const uint32_t& x );
extern ostream& ToString( ostream& out, const LocationId& x );
extern ostream& ToString( ostream& out, const string& x );
extern ostream& ToString( ostream& out, const StringId& x );
extern ostream& ToString( ostream& out, const Delimiter& x );
extern ostream& ToString( ostream& out, const Hole& x );
|
>
>
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#ifndef GOOSE_EIR_TOSTRING_H
#define GOOSE_EIR_TOSTRING_H
namespace goose::eir
{
class Vector;
enum class Delimiter;
extern ostream& ToString( ostream& out, const Term& t );
extern ostream& ToString( ostream& out, const uint32_t& x );
extern ostream& ToString( ostream& out, const LocationId& x );
extern ostream& ToString( ostream& out, const string& x );
extern ostream& ToString( ostream& out, const StringId& x );
extern ostream& ToString( ostream& out, const Delimiter& x );
extern ostream& ToString( ostream& out, const Hole& x );
|