percemon::ast::Not Struct Reference

Public Member Functions
	Not (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