Public Member Functions
std::term_eq Struct Reference

List of all members.

Public Member Functions

bool operator() (const Term *l1, const Term *l2) const

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