Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

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

Z3: Pattern Class Reference

Patterns comprise a list of terms. The list should be non-empty. If the list comprises of more than one term, it is also called a multi-pattern. More...

Inheritance diagram for Pattern:

Patterns comprise a list of terms. The list should be non-empty. If the list comprises of more than one term, it is also called a multi-pattern.

Definition at line 31 of file Pattern.cs.

A string representation of the pattern.

Definition at line 60 of file Pattern.cs.

Native.Z3_pattern_to_string(

.nCtx, NativeObject);

Context Context

Access Context object

The number of terms in the pattern.

Definition at line 36 of file Pattern.cs.

{

Native.Z3_get_pattern_num_terms(

.nCtx, NativeObject); }

The terms in the pattern.

Definition at line 44 of file Pattern.cs.

Expr[] res =

Expr[n];

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

res[i] = Expr.Create(

, Native.Z3_get_pattern(

.nCtx, NativeObject, i));

uint NumTerms

The number of terms in the pattern.

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