metaSMT git
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 39 of file SMT2.hpp.


Constructor & Destructor Documentation

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

Definition at line 41 of file SMT2.hpp.

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

Definition at line 45 of file SMT2.hpp.


Member Function Documentation

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

Definition at line 62 of file SMT2.hpp.

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

Definition at line 54 of file SMT2.hpp.


Member Data Documentation

Definition at line 74 of file SMT2.hpp.

Definition at line 73 of file SMT2.hpp.

Definition at line 72 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