const wgraph::WGraph & currentWGraph()
Definition: blockmode.cpp:179
kl::KLContext & currentKL()
Definition: blockmode.cpp:174
RealReductiveGroup & currentDualRealGroup()
Definition: blockmode.cpp:155
Definition: commands.h:148
InnerClass & current_dual_inner_class()
Definition: blockmode.cpp:150
Definition: blockmode.h:23
CommandNode blockNode()
Definition: blockmode.cpp:98
RealFormNbr currentDualRealForm()
Definition: blockmode.cpp:160
CommandTree & block_mode
Definition: commands.cpp:107
Block & currentBlock()
Definition: blockmode.cpp:165
unsigned short RealFormNbr
Definition: Atlas.h:302
Definition: commands.h:93