Class ArrayAbstractionInterface#

Inheritance Relationships#

Derived Types#

Class Documentation#

class ArrayAbstractionInterface#

Subclassed by ArrayInterface, ArrayUseAccessFunction

Public Functions

virtual bool IsArrayAccess(AstInterface &fa, const AstNodePtr &s, AstNodePtr *array = 0, AstInterface::AstNodeList *index = 0) = 0#
virtual bool GetArrayBound(AstInterface &fa, const AstNodePtr &array, int dim, int &lb, int &ub) = 0#
virtual bool IsUniqueArray(AstInterface &fa, const AstNodePtr &array) = 0#
virtual AstNodePtr CreateArrayAccess(AstInterface &fa, const AstNodePtr &arr, const AstNodeList &index) = 0#
virtual SymbolicVal CreateArrayAccess(const SymbolicVal &arr, const SymbolicVal &index) = 0#
inline virtual ~ArrayAbstractionInterface()#