syn::TypeDecl Member List

This is the complete list of members for syn::TypeDecl, including all inherited members.

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]
varnamesyn::TypeDecl [private]
vartypesyn::TypeDecl [private]
~nocopy()util::nocopy [inline, private]


Generated on Sun Nov 23 14:52:47 2008 for Typing linear constraints by  doxygen 1.5.4