Logo Search packages:      
Sourcecode: maude version File versions  Download package

Public Types | Public Member Functions | Protected Types | Protected Member Functions | Static Protected Member Functions

ACU_BaseDagNode Class Reference

Inheritance diagram for ACU_BaseDagNode:
Inheritance graph
Collaboration diagram for ACU_BaseDagNode:
Collaboration graph

List of all members.

Public Types

enum  NormalizationStatus { FRESH, ASSIGNMENT, TREE }

Public Member Functions

 ACU_BaseDagNode (ACU_Symbol *symbol)
virtual RawDagArgumentIteratorarguments ()=0
bool checkSort (const Sort *boundSort, Subproblem *&returnedSubproblem)
bool checkSort (const Sort *boundSort, RewritingContext &context)
void clearCopyPointers ()
int compare (const DagNode *other) const
virtual int compareArguments (const DagNode *other) const =0
virtual ReturnResult computeBaseSortForGroundSubterms ()
void computeGeneralizedSort (const SortBdds &sortBdds, const Vector< int > &realToBdd, Vector< Bdd > &generalizedSort)
bool computeSolvedForm (DagNode *rhs, UnificationContext &solution, PendingUnificationStack &pending)
virtual bool computeSolvedForm2 (DagNode *rhs, UnificationContext &solution, PendingUnificationStack &pending)
void computeTrueSort (RewritingContext &context)
DagNodecopyAndReduce (RewritingContext &context)
DagNodecopyEagerUptoReduced ()
DagNodecopyReducible ()
void copySetRewritingFlags (const DagNode *other)
void copySortIndex (const DagNode *other)
virtual DagNodecopyWithReplacement (int argIndex, DagNode *replacement)=0
virtual DagNodecopyWithReplacement (Vector< RedexPosition > &redexStack, int first, int last)=0
bool equal (const DagNode *other) const
virtual size_t getHashValue ()=0
MemoryCellgetMemoryCell ()
const MemoryCellgetMemoryCell () const
NormalizationStatus getNormalizationStatus () const
int getSize () const
SortgetSort () const
int getSortIndex () const
Byte getTheoryByte () const
bool indexVariables (NarrowingVariableInfo &indices, int baseIndex)
virtual bool indexVariables2 (NarrowingVariableInfo &indices, int baseIndex)
bool inErrorSort ()
void insertVariables (NatSet &occurs)
virtual void insertVariables2 (NatSet &occurs)
DagNodeinstantiate (const Substitution &substitution)
virtual DagNodeinstantiate2 (const Substitution &substitution)
virtual DagNodeinstantiateWithReplacement (const Substitution &substitution, int argIndex, DagNode *newDag)
bool isFresh () const
bool isGround () const
bool isReduced () const
bool isTree () const
bool isUnrewritable () const
bool isUnstackable () const
bool leq (const Sort *sort) const
virtual DagNodemakeClone ()=0
ExtensionInfomakeExtensionInfo ()
void mark ()
bool matchVariable (int index, const Sort *sort, bool copyToAvoidOverwriting, Substitution &solution, Subproblem *&returnedSubproblem, ExtensionInfo *extensionInfo)
virtual bool matchVariableWithExtension (int index, const Sort *sort, Substitution &solution, Subproblem *&returnedSubproblem, ExtensionInfo *extensionInfo)
void * operator new (size_t size)
void * operator new (size_t size, DagNode *old)
virtual void overwriteWithClone (DagNode *old)=0
virtual DagNodepartialConstruct (DagNode *replacement, ExtensionInfo *extensionInfo)
virtual void partialReplace (DagNode *replacement, ExtensionInfo *extensionInfo)
void reduce (RewritingContext &context)
void replaceSymbol (Symbol *newSymbol)
void repudiateSortInfo ()
void setCallDtor ()
void setGround ()
void setNormalizationStatus (NormalizationStatus status)
void setReduced ()
void setSortIndex (int index)
void setTheoryByte (Byte value)
void setUnrewritable ()
void setUnstackable ()
virtual void stackArguments (Vector< RedexPosition > &redexStack, int parentIndex, bool respectFrozen)=0
ACU_Symbolsymbol () const
void upgradeSortIndex (const DagNode *other)

Protected Types

enum  Sizes { nrWords = 3 }

Protected Member Functions

virtual void clearCopyPointers2 ()=0
virtual DagNodecopyEagerUptoReduced2 ()=0
bool isHashValid () const
virtual DagNodemarkArguments ()=0
void setHashValid ()

Static Protected Member Functions

static size_t hash (size_t v1, size_t v2)
static size_t hash (size_t v1, size_t v2, size_t v3)

Detailed Description

Definition at line 30 of file ACU_BaseDagNode.hh.

The documentation for this class was generated from the following files:

Generated by  Doxygen 1.6.0   Back to index