cvc_util.h File Reference

basic helper utilities More...

#include "debug.h"

Go to the source code of this file.

Classes

• struct CVC3::ltstr
• class CVC3::StrPairLess< T >
• class CVC3::ScopeWatcher

  A class which sets a boolean value to true when created, and resets to false when deleted. More...
  

• class CVC3::MemoryTracker

Namespaces

• namespace CVC3

Typedefs

• typedef std::pair< std::string,
  std::string > CVC3::StrPair

Functions

• std::string CVC3::to_upper (const std::string &src)
• std::string CVC3::to_lower (const std::string &src)
• std::string CVC3::int2string (int n)
• template<class T > T CVC3::abs (T t)
• template<class T > T CVC3::max (T a, T b)
• template<class T > std::pair< std::string, T > CVC3::strPair (const std::string &f, const T &t)
• template<class T > void CVC3::sort2 (std::vector< std::string > &keys, std::vector< T > &vals)

  Sort two vectors based on the first vector.
  

---

Detailed Description

basic helper utilities

Author: Clark Barrett

Created: Thu Dec 1 16:35:52 2005

---

License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.

---

Definition in file cvc_util.h.