36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
{
// TODO need generator that spits out everything contained in a trie
return out << "<or (nyi)>";
}
ostream& ToString( ostream& out, const ptr< Vector >& v )
{
if( v->m_vec.empty() && !v->repetitionTerm() )
return out << "()";
out << "( ";
for( auto&& x : v->m_vec )
ToString( out, x ) << ' ';
if( v->repetitionTerm() )
{
out << '*';
ToString( out, *v->repetitionTerm() );
out << ' ';
|
|
|
|
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
{
// TODO need generator that spits out everything contained in a trie
return out << "<or (nyi)>";
}
ostream& ToString( ostream& out, const ptr< Vector >& v )
{
if( v->m_terms.empty() && !v->repetitionTerm() )
return out << "()";
out << "( ";
for( auto&& x : v->m_terms )
ToString( out, x ) << ' ';
if( v->repetitionTerm() )
{
out << '*';
ToString( out, *v->repetitionTerm() );
out << ' ';
|