Crevice  0.1
 All Classes Functions Variables Pages
TermComperator Member List

This is the complete list of members for TermComperator, including all inherited members.

operator()(const Term *left_term, const Term *right_term) const TermComperatorinline
Generated on Sat Feb 1 2014 14:50:31 for Crevice by   doxygen 1.8.1.2