percemon::ast::Always Struct Reference

Public Member Functions
	Always (Expr arg_)

Public Attributes
Expr	arg

---

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

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