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().