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

Public Member Functions | Protected Member Functions | Private Member Functions | Static Private Member Functions | Private Attributes

SortConstraintTable Class Reference

Inheritance diagram for SortConstraintTable:
Inheritance graph
Collaboration diagram for SortConstraintTable:
Collaboration graph

List of all members.

Public Member Functions

virtual void compileSortConstraints ()
void constrainToExactSort (DagNode *subject, RewritingContext &context)
void constrainToSmallerSort (DagNode *subject, RewritingContext &context)
const Vector< SortConstraint * > & getSortConstraints () const
void offerSortConstraint (SortConstraint *sortConstraint)
void orderSortConstraints ()
bool sortConstraintFree () const

Protected Member Functions

virtual bool acceptSortConstraint (SortConstraint *sortConstraint)=0
bool safeToInspectSortConstraints ()

Private Member Functions

void constrainToSmallerSort2 (DagNode *subject, RewritingContext &context)

Static Private Member Functions

static bool sortConstraintLt (SortConstraint *const &sc1, SortConstraint *const &sc2)

Private Attributes

Vector< SortConstraint * > sortConstraints
bool tableComplete

Detailed Description

Definition at line 29 of file sortConstraintTable.hh.

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

Generated by  Doxygen 1.6.0   Back to index