Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines
Properties
Constructor Class Reference

Constructors are used for datatype sorts. More...

+ Inheritance diagram for Constructor:

Properties

uint NumFields [get]
 The number of fields of the constructor.
FuncDecl ConstructorDecl [get]
 The function declaration of the constructor.
FuncDecl TesterDecl [get]
 The function declaration of the tester.
FuncDecl[] AccessorDecls [get]
 The function declarations of the accessors.

Detailed Description

Constructors are used for datatype sorts.

Definition at line 29 of file Constructor.cs.


Property Documentation

The function declarations of the accessors.

Definition at line 78 of file Constructor.cs.

The function declaration of the constructor.

Definition at line 46 of file Constructor.cs.

uint NumFields [get]

The number of fields of the constructor.

Definition at line 35 of file Constructor.cs.

The function declaration of the tester.

Definition at line 62 of file Constructor.cs.

 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines