|| ||   || Doxygen's  

---

Sizes Class Reference

Size specification in Z3 (HxSizes in C++). More...

List of all members.

Public Methods
	Sizes ()
	Sizes (int x, int y, int z)
Public Attributes
int	x
int	y
int	z

---

Detailed Description

Size specification in Z3 (HxSizes in C++).

---

Constructor & Destructor Documentation

Sizes::Sizes (    )  [inline]

Sizes::Sizes (  int    x, int    y, int    z )  [inline]

---

Member Data Documentation

int Sizes::x

int Sizes::y

int Sizes::z

---

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

• Sizes.java

---