PerceMon
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
 
Pinoperator= (const Pin &)=default
 
 Pin (Pin &&)=default
 
Pinoperator= (Pin &&)=default
 
PinPtr dot (const Expr &e)
 

Public Attributes

std::optional< Var_xx
 
std::optional< Var_ff
 
Expr phi = Expr{Const{false}}
 

Detailed Description

Datastructure to pin frames


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