add(const string &s) | syn::TypeDecl | [inline] |
add_single(const string &s) | syn::TypeDecl | [inline, private] |
find(const string &var, size_t &pos) const | syn::TypeDecl | [inline] |
getType(size_t i) const | syn::TypeDecl | [inline] |
getVarList() const | syn::TypeDecl | [inline] |
getVarName(size_t i) const | syn::TypeDecl | [inline] |
implies(const TypeDecl *d) const | syn::TypeDecl | [inline] |
nocopy() | util::nocopy | [inline, private] |
operator<<(ostream &os, const TypeDecl &decl) | syn::TypeDecl | [friend] |
restrict(const string &varlist) const | syn::TypeDecl | [inline] |
setAllType(Type v) | syn::TypeDecl | [inline] |
setType(size_t i, Type v) | syn::TypeDecl | [inline] |
size() const | syn::TypeDecl | [inline] |
to_string() const | syn::TypeDecl | [inline] |
TypeDecl(const string &s="") | syn::TypeDecl | [inline] |
typeSystem() const | syn::TypeDecl | [inline] |
varname | syn::TypeDecl | [private] |
vartype | syn::TypeDecl | [private] |
~nocopy() | util::nocopy | [inline, private] |