PerceMon
|
#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 = {} |
Existential quantifier over IDs in either the current frame or a pinned frame.