ilang::smt::line_comment Struct Reference

Inheritance diagram for ilang::smt::line_comment:

Public Member Functions
virtual std::string	toString () const override
	output to string

Public Attributes
std::string	comment
	the comment

---

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

• smt_ast.h