percemon::ast::Exists Struct Reference

#include <tqtl.hpp>

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

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

Detailed Description

Existential 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