percemon::ast::And Struct Reference

Public Member Functions
	And (const std::vector< Expr > &args_)

Public Attributes
std::vector< Expr >	args
std::vector< TemporalBoundExpr >	temporal_bound_args

---

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

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