Searched defs:TermOrder (Results 1 – 6 of 6) sorted by relevance
87 inline const term_order* TermOrder() const in TermOrder() function
157 inline const term_order* TermOrder() const in TermOrder() function
42 TermOrder::TermOrder(int _cost_start, int _cost_end, int _rs_end) in TermOrder() function
4 class TermOrder; variable
47 int TermOrder(const ASTNode& a, const ASTNode& b) in TermOrder() function