percemon::ast::Forall Struct Reference

#include <tqtl.hpp>

Public Member Functions
	Forall (std::vector< Var_id > id_list)
ForallPtr	at (const Pin &pin)
ForallPtr	at (Pin &&pin)
ForallPtr	dot (const Expr &e)

Public Attributes
std::vector< Var_id >	ids
std::optional< Pin >	pinned_at = {}
std::optional< Expr >	phi = {}

Detailed Description

Universal quantifier over IDs in either the current frame or a pinned frame.

---

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

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