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_simplifier.html below:

Z3: Simplifier Class Reference

Simplifiers are the basic building block for creating custom solvers with incremental pre-processing. The complete list of simplifiers may be obtained using Context.NumSimplifiers and Context.SimplifierNames. It may also be obtained using the command (help-simplifier) in the SMT 2.0 front-end. More...

Simplifiers are the basic building block for creating custom solvers with incremental pre-processing. The complete list of simplifiers may be obtained using Context.NumSimplifiers and Context.SimplifierNames. It may also be obtained using the command (help-simplifier) in the SMT 2.0 front-end.

Definition at line 29 of file Simplifiers.cs.

A string containing a description of parameters accepted by the tactic.

Definition at line 34 of file Simplifiers.cs.

Native.Z3_simplifier_get_help(

.nCtx, NativeObject);

Context Context

Access Context object

Retrieves parameter descriptions for Simplifiers.

Definition at line 46 of file Simplifiers.cs.

{

ParamDescrs(

, Native.Z3_simplifier_get_param_descrs(

.nCtx, NativeObject)); }

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