RetroSearch Browse

Showing content from https://z3prover.github.io/api/html/class_microsoft_1_1_z3_1_1_relation_sort.html below:

Relation sorts. More...

Relation sorts.

Definition at line 28 of file RelationSort.cs.

◆ Arity

The arity of the relation sort.

Definition at line 33 of file RelationSort.cs.

35 get

{

return

Native.Z3_get_relation_arity(

.nCtx, NativeObject); }

Context Context

Access Context object

◆ ColumnSorts

The sorts of the columns of the relation sort.

Definition at line 41 of file RelationSort.cs.

46 if

(m_columnSorts !=

null

)

50

Sort[] res =

new

Sort[n];

51 for

(uint i = 0; i < n; i++)

52

res[i] = Sort.Create(

, Native.Z3_get_relation_column(

.nCtx, NativeObject, i));

uint Arity

The arity of the relation sort.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4