var_assignment_info Struct Reference

Public Attributes
expr2tc	value
goto_programt::const_targett	location
expr2tc	condition

Member Data Documentation

condition

expr2tc var_assignment_info::condition

location

goto_programt::const_targett var_assignment_info::location

value

expr2tc var_assignment_info::value

---

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

• src/goto-programs/contracts/contracts.cpp