Definition: realmode.h:22
CommandNode realNode()
Definition: realmode.cpp:89
Definition: commands.h:148
Rep_table & currentRepTable()
Definition: realmode.cpp:134
RealReductiveGroup & currentRealGroup()
Definition: realmode.cpp:123
unsigned short RealFormNbr
Definition: Atlas.h:302
CommandTree & real_mode
Definition: commands.cpp:106
Definition: commands.h:93
const Rep_context & currentRepContext()
Definition: realmode.cpp:133
RealFormNbr currentRealForm()
Definition: realmode.cpp:128