NativeModel.ArrayValue Class Reference

An array value obtained by untangling a model assignment. More...

Data Fields
KeyValuePair< Z3_ast, Z3_ast >[]	Updates
	One dimensional array of indices where the array is updated More...
Z3_ast	Else
	default Else case More...
Z3_ast[]	Domain
	Domain for array Updates.Keys More...
Z3_ast[]	Range
	Range for array Updates.Values More...

Detailed Description

An array value obtained by untangling a model assignment.

Definition at line 241 of file NativeModel.cs.

Field Documentation

Domain

Z3_ast [] Domain

Domain for array Updates.Keys

Definition at line 257 of file NativeModel.cs.

Else

Z3_ast Else

default Else case

Definition at line 251 of file NativeModel.cs.

Range

Z3_ast [] Range

Range for array Updates.Values

Definition at line 263 of file NativeModel.cs.

Updates

KeyValuePair<Z3_ast, Z3_ast> [] Updates

One dimensional array of indices where the array is updated

Definition at line 246 of file NativeModel.cs.