spot
0.8.1
|
Present a slice of the top of a stack. More...
#include <ltlparse/stack.hh>
Public Member Functions | |
slice (const S &stack, unsigned int range) | |
const T & | operator[] (unsigned int i) const |
Private Attributes | |
const S & | stack_ |
unsigned int | range_ |
Present a slice of the top of a stack.
ltlyy::slice< T, S >::slice | ( | const S & | stack, |
unsigned int | range | ||
) | [inline] |
const T& ltlyy::slice< T, S >::operator[] | ( | unsigned int | i | ) | const [inline] |
References ltlyy::slice< T, S >::range_, and ltlyy::slice< T, S >::stack_.
unsigned int ltlyy::slice< T, S >::range_ [private] |
Referenced by ltlyy::slice< T, S >::operator[]().
const S& ltlyy::slice< T, S >::stack_ [private] |
Referenced by ltlyy::slice< T, S >::operator[]().