metaSMT 2
Public Member Functions | Public Attributes
metaSMT::solver::lazy_string Struct Reference

#include <SMT2.hpp>

List of all members.

Public Member Functions

 lazy_string ()
 lazy_string (std::string const &s)
size_t size () const
void _eval (std::string &str)

Public Attributes

bool dirty
std::string _str
std::list< lazy_string_concats

Detailed Description

Definition at line 37 of file SMT2.hpp.


Constructor & Destructor Documentation

metaSMT::solver::lazy_string::lazy_string ( ) [inline]

Definition at line 39 of file SMT2.hpp.

metaSMT::solver::lazy_string::lazy_string ( std::string const &  s) [inline]

Definition at line 43 of file SMT2.hpp.


Member Function Documentation

void metaSMT::solver::lazy_string::_eval ( std::string &  str) [inline]

Definition at line 60 of file SMT2.hpp.

size_t metaSMT::solver::lazy_string::size ( ) const [inline]

Definition at line 52 of file SMT2.hpp.


Member Data Documentation

Definition at line 72 of file SMT2.hpp.

Definition at line 71 of file SMT2.hpp.

Definition at line 70 of file SMT2.hpp.


The documentation for this struct was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines