libutap  0.93
Uppaal Timed Automata Parser
UTAP::ExpressionBuilder::TypeFragments Class Reference

#include <expressionbuilder.h>

Public Member Functions

type_toperator[] (int idx)
 
void push (type_t value)
 
void pop ()
 
void duplicate ()
 

Detailed Description

Definition at line 68 of file expressionbuilder.h.

Member Function Documentation

◆ duplicate()

void UTAP::ExpressionBuilder::TypeFragments::duplicate ( )
inline

Definition at line 79 of file expressionbuilder.h.

Referenced by UTAP::ExpressionBuilder::typeDuplicate().

Here is the caller graph for this function:

◆ operator[]()

type_t& UTAP::ExpressionBuilder::TypeFragments::operator[] ( int  idx)
inline

Definition at line 73 of file expressionbuilder.h.

◆ pop()

◆ push()


The documentation for this class was generated from the following file: