A RetroSearch Logo

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

Search Query:

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

Z3: Z3Object Class Reference

Internal base class for interfacing with native Z3 objects. Should not be used externally. More...

Inheritance diagram for Z3Object:

Public Member Functions void  Dispose ()   Disposes of the underlying native Z3 object. More...
  Detailed Description

Internal base class for interfacing with native Z3 objects. Should not be used externally.

Definition at line 32 of file Z3Object.cs.

Member Function Documentation ◆ Dispose()

Disposes of the underlying native Z3 object.

Definition at line 45 of file Z3Object.cs.

47  if

(m_n_obj != IntPtr.Zero)

50

m_n_obj = IntPtr.Zero;

55

GC.SuppressFinalize(

this

);

Property Documentation ◆ Context

Access Context object

Definition at line 110 of file Z3Object.cs.

Referenced by OnClause.OnClause(), BoolExpr.operator!(), BoolExpr.operator&(), ArithExpr.operator*(), ArithExpr.operator+(), ArithExpr.operator-(), ArithExpr.operator/(), ArithExpr.operator<(), ArithExpr.operator<=(), AST.operator==(), FuncDecl.operator==(), Sort.operator==(), ArithExpr.operator>(), ArithExpr.operator>=(), BoolExpr.operator^(), BoolExpr.operator|(), and UserPropagator.UserPropagator().

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