waypoint::parsed_constraintt Struct Reference

#include <waypoint.h>

Public Attributes
expr2tc	expr
bool	valid = false

Member Data Documentation

expr

expr2tc waypoint::parsed_constraintt::expr

valid

bool waypoint::parsed_constraintt::valid = false

---

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

• src/goto-symex/waypoint.h