CVC3::ltstr Struct Reference

#include <cvc_util.h>

List of all members.

Public Member Functions

• bool operator() (const std::string &s1, const std::string &s2) const

---

Detailed Description

Definition at line 58 of file cvc_util.h.

---

Member Function Documentation

bool CVC3::ltstr::operator()	(	const std::string &	s1,
		const std::string &	s2
	)		const [inline]

Definition at line 59 of file cvc_util.h.

---

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

• cvc_util.h