percemon::ast::Pin Struct Reference

#include <tqtl.hpp>

Public Member Functions
	Pin (const std::optional< Var_x > &x_, const std::optional< Var_f > &f_)
	Pin (const std::optional< Var_x > &x_)
	Pin (const std::optional< Var_f > &f_)
	Pin (const Pin &)=default
Pin &	operator= (const Pin &)=default
	Pin (Pin &&)=default
Pin &	operator= (Pin &&)=default
PinPtr	dot (const Expr &e)

Public Attributes
std::optional< Var_x >	x
std::optional< Var_f >	f
Expr	phi = Expr{Const{false}}

Detailed Description

Datastructure to pin frames

---

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

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