sexpr Struct Reference

#include <smtlib_conv.h>

Public Member Functions
	sexpr ()=default
	sexpr (sexpr &&) noexcept=default
sexpr &	operator= (sexpr &&) noexcept=default

Public Attributes
int	token = 0
std::list< sexpr >	sexpr_list
std::string	data

Constructor & Destructor Documentation

sexpr() [1/2]

sexpr::sexpr ( )

default

sexpr() [2/2]

sexpr::sexpr ( sexpr && )

defaultnoexcept

Member Function Documentation

operator=()

sexpr & sexpr::operator= ( sexpr && )

defaultnoexcept

Member Data Documentation

data

std::string sexpr::data

sexpr_list

std::list<sexpr> sexpr::sexpr_list

token

int sexpr::token = 0

---

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

• src/solvers/smtlib/smtlib_conv.h