PerceMon
|
#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}} |
Datastructure to pin frames