STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
|
Public Member Functions | |
LineNumberArea (CodeEditor *editor) | |
QSize | sizeHint () const override |
Protected Member Functions | |
void | paintEvent (QPaintEvent *event) override |