percemon::ast::BackTo Struct Reference

Public Member Functions
	BackTo (const Expr &arg0, const Expr &arg1)

Public Attributes
std::pair< Expr, Expr >	args

---

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

• /home/anand/workspace/rv-presentation/PerceMon/include/percemon/ast/tqtl.hpp