Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups 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.
 
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
 

Additional Inherited Members

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

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 73 of file Constructor.cs.

FuncDecl ConstructorDecl
get

The function declaration of the constructor.

Definition at line 47 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 60 of file Constructor.cs.