ConstructorList Class Reference

Lists of constructors. More...

Inheritance diagram for ConstructorList:

Additional Inherited Members
Public Member Functions inherited from Z3Object
void	Dispose ()
	Disposes of the underlying native Z3 object.
Properties inherited from Z3Object
Context	Context [get]
	Access Context object.

Detailed Description

Lists of constructors.

Definition at line 32 of file ConstructorList.cs.