comma::VarietyType Member List

This is the complete list of members for comma::VarietyType, including all inherited members.

Ast(AstKind kind)	comma::Ast	[inline, protected]
AST_AbstractDomainType enum value	comma::Ast
AST_ConcreteDomainType enum value	comma::Ast
AST_DomainDecl enum value	comma::Ast
AST_DomainType enum value	comma::Ast
AST_FunctionDecl enum value	comma::Ast
AST_FunctionType enum value	comma::Ast
AST_FunctorDecl enum value	comma::Ast
AST_FunctorType enum value	comma::Ast
AST_PercentType enum value	comma::Ast
AST_SignatureDecl enum value	comma::Ast
AST_SignatureType enum value	comma::Ast
AST_VarietyDecl enum value	comma::Ast
AST_VarietyType enum value	comma::Ast
AstKind enum name	comma::Ast
bits	comma::Ast	[protected]
classof(const VarietyType *node)	comma::VarietyType	[inline, static]
classof(const Ast *node)	comma::VarietyType	[inline, static]
comma::ParameterizedType::classof(const ParameterizedType *node)	comma::ParameterizedType	[inline, static]
comma::ModelType::classof(const ModelType *node)	comma::ModelType	[inline, static]
comma::Type::classof(const Type *node)	comma::Type	[inline, static]
deletable	comma::Ast	[protected]
denotesDecl() const	comma::Ast	[inline]
denotesDomainType() const	comma::Ast	[inline]
denotesModelDecl() const	comma::Ast	[inline]
denotesModelType() const	comma::Ast	[inline]
denotesType() const	comma::Ast	[inline]
denotesTypeDecl() const	comma::Ast	[inline]
FIRST_Decl enum value	comma::Ast
FIRST_ModelDecl enum value	comma::Ast
FIRST_Type enum value	comma::Ast
FIRST_TypeDecl enum value	comma::Ast
formals	comma::ParameterizedType	[protected]
getArity() const	comma::ParameterizedType	[inline]
getFormalDomain(unsigned i) const	comma::ParameterizedType
getFormalIdInfo(unsigned i) const	comma::ParameterizedType
getFormalType(unsigned i) const	comma::ParameterizedType
getIdInfo() const	comma::ModelType	[inline]
getKind() const	comma::Ast	[inline]
getLocation() const	comma::Ast	[inline, virtual]
getSelectorIndex(IdentifierInfo *selector) const	comma::ParameterizedType
getString() const	comma::ModelType	[inline]
getVarietyDecl() const	comma::VarietyType	[inline]
idInfo	comma::ModelType	[protected]
isDeletable() const	comma::Ast	[inline]
isValid() const	comma::Ast	[inline]
kind	comma::Ast	[protected]
LAST_Decl enum value	comma::Ast
LAST_ModelDecl enum value	comma::Ast
LAST_Type enum value	comma::Ast
LAST_TypeDecl enum value	comma::Ast
markInvalid()	comma::Ast	[inline]
ModelType(AstKind kind, IdentifierInfo *idInfo)	comma::ModelType	[inline, protected]
numFormals	comma::ParameterizedType	[protected]
ParameterizedType(AstKind kind, IdentifierInfo *idInfo, AbstractDomainType **formalArguments, unsigned arity)	comma::ParameterizedType	[protected]
Type(AstKind kind)	comma::Type	[inline, protected]
validFlag	comma::Ast	[protected]
VarietyDecl class	comma::VarietyType	[friend]
VarietyType(AbstractDomainType **formalArguments, VarietyDecl *variety, unsigned arity)	comma::VarietyType
~Ast()	comma::Ast	[inline, virtual]
~ModelType()	comma::ModelType	[inline, virtual]
~ParameterizedType()	comma::ParameterizedType	[inline, virtual]
~Type()	comma::Type	[inline, virtual]
~VarietyType()	comma::VarietyType