arrayst::lazy_constraintt Struct Reference

#include <arrays.h>

Collaboration diagram for arrayst::lazy_constraintt:

Public Member Functions
	lazy_constraintt (lazy_typet _type, const exprt &_lazy)

Public Attributes
lazy_typet	type
exprt	lazy

Detailed Description

Definition at line 109 of file arrays.h.

Constructor & Destructor Documentation

lazy_constraintt()

arrayst::lazy_constraintt::lazy_constraintt ( lazy_typet _type, const exprt & _lazy )

inline

Definition at line 114 of file arrays.h.

Member Data Documentation

lazy

exprt arrayst::lazy_constraintt::lazy

Definition at line 112 of file arrays.h.

type

lazy_typet arrayst::lazy_constraintt::type

Definition at line 111 of file arrays.h.

---

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

• solvers/flattening/arrays.h