Definition at line 29 of file mmx_printer.cpp.
mmx_printer | ( | ) | [inline] |
Definition at line 74 of file mmx_printer.cpp.
~mmx_printer | ( | ) | [inline] |
Definition at line 75 of file mmx_printer.cpp.
void operator delete | ( | void * | ptr, | |
size_t | sz | |||
) | [inline] |
Definition at line 30 of file mmx_printer.cpp.
00031 : list<generic> gl;
void operator delete[] | ( | void * | ptr, | |
size_t | sz | |||
) | [inline] |
Definition at line 30 of file mmx_printer.cpp.
00031 : list<generic> gl;
void* operator new | ( | size_t | sz, | |
void * | where | |||
) | [inline] |
Definition at line 30 of file mmx_printer.cpp.
00031 : list<generic> gl;
void* operator new | ( | size_t | sz | ) | [inline] |
Definition at line 30 of file mmx_printer.cpp.
00031 : list<generic> gl;
void* operator new[] | ( | size_t | sz, | |
void * | where | |||
) | [inline] |
Definition at line 30 of file mmx_printer.cpp.
00031 : list<generic> gl;
void* operator new[] | ( | size_t | sz | ) | [inline] |
Definition at line 30 of file mmx_printer.cpp.
00031 : list<generic> gl;
Definition at line 566 of file mmx_printer.cpp.
References mmx::bracket(), mmx::GEN_ASSIGN, mmx::GEN_ASSIGN_MACRO, mmx::GEN_ASSUME, mmx::GEN_DEFINE, mmx::GEN_DEFINE_MACRO, mmx::GEN_EXISTS, mmx::GEN_FORALL, mmx::GEN_GTRGTREQ, mmx::GEN_LESSLESSEQ, mmx::GEN_MINUS_ASSIGN, mmx::GEN_OVER_ASSIGN, mmx::GEN_PENALTY, mmx::GEN_PLUS_ASSIGN, mmx::GEN_TIMES_ASSIGN, mmx::infix(), mmx::is_func(), mmx::keyword(), and mmx::operate().
00566 { 00567 if (is_func (g, GEN_FORALL, 2) || 00568 is_func (g, GEN_EXISTS, 2) || 00569 is_func (g, GEN_ASSUME, 2) || 00570 is_func (g, GEN_PENALTY, 2)) 00571 return operate (keyword (g[0], bracket ("(", pp_E0 (g[1]), ")")), 00572 pp_E0 (g[2])); 00573 else if (is_func (g, GEN_DEFINE, 2) || 00574 is_func (g, GEN_ASSIGN, 2) || 00575 is_func (g, GEN_DEFINE_MACRO, 2) || 00576 is_func (g, GEN_ASSIGN_MACRO, 2) || 00577 is_func (g, GEN_PLUS_ASSIGN, 2) || 00578 is_func (g, GEN_MINUS_ASSIGN, 2) || 00579 is_func (g, GEN_TIMES_ASSIGN, 2) || 00580 is_func (g, GEN_OVER_ASSIGN, 2) || 00581 is_func (g, GEN_LESSLESSEQ, 2) || 00582 is_func (g, GEN_GTRGTREQ, 2)) 00583 return infix (pp_F0 (g[1]), g[0], pp_E0 (g[2])); 00584 else return pp_E1 (g); 00585 }