|
libutap
0.93
Uppaal Timed Automata Parser
|
#include <stack>#include <vector>#include <cassert>#include "abstractbuilder.h"#include "utap.h"

Go to the source code of this file.
Classes | |
| class | UTAP::ExpressionBuilder |
| Partial implementation of the builder interface: The ExpressionBuilder implements all expression related methods. More... | |
| class | UTAP::ExpressionBuilder::ExpressionFragments |
| class | UTAP::ExpressionBuilder::TypeFragments |
Namespaces | |
| UTAP | |
Macros | |
| #define | defaultIntMin -0x8000 |
| #define | defaultIntMax 0x7FFF |
| #define defaultIntMax 0x7FFF |
Definition at line 33 of file expressionbuilder.h.
Referenced by UTAP::ExpressionBuilder::typeInt().
| #define defaultIntMin -0x8000 |
Definition at line 32 of file expressionbuilder.h.
Referenced by UTAP::ExpressionBuilder::typeInt().