Searched refs:symbolic_compare (Results 1 – 3 of 3) sorted by relevance
51 bool Expression::symbolic_compare(const Expression*) const in symbolic_compare() function in Expression683 bool ExpName::symbolic_compare(const Expression*that) const in symbolic_compare() function in ExpName708 if(!(*it)->symbolic_compare(*jt)) in symbolic_compare()
136 virtual bool symbolic_compare(const Expression*that) const;732 bool symbolic_compare(const Expression*that) const;866 bool symbolic_compare(const Expression*that) const in symbolic_compare() function867 { return name_->symbolic_compare(that); } in symbolic_compare()
821 if(symbolic_compare( in move_to_first_corner_of_facet()846 static bool symbolic_compare( in symbolic_compare() function