Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Modules Pages
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. More...
 
FuncDecl ConstructorDecl [get]
 The function declaration of the constructor. More...
 
FuncDecl TesterDecl [get]
 The function declaration of the tester. More...
 
FuncDecl[] AccessorDecls [get]
 The function declarations of the accessors More...
 

Additional Inherited Members

- Public Member Functions inherited from Z3Object
void Dispose ()
 Disposes of the underlying native Z3 object. More...
 

Detailed Description

Constructors are used for datatype sorts.

Definition at line 29 of file Constructor.cs.

Property Documentation

FuncDecl [] AccessorDecls
get

The function declarations of the accessors

Definition at line 78 of file Constructor.cs.

FuncDecl ConstructorDecl
get

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.

FuncDecl TesterDecl
get

The function declaration of the tester.

Definition at line 62 of file Constructor.cs.