Home • Docs • Download • Mail • FAQ • Awards • Status • MSR

Z3 An Efficient SMT Solver

Microsoft::Z3::Ast

Ast Class Reference
[Managed (.NET) API]

Inherited by ConstDeclAst, PatternAst, TermAst, and TypeAst.


Public Member Functions

virtual bool Equals (Object^obj) override
 Test equality of asts.
virtual int GetHashCode () override
 Obtain hash code.
virtual String ToString () override
 Pretty print term, sort or declaration.

Protected Attributes

AstPtr m_ast
Context m_ctx

Package Functions

 Ast (Context^c, AstPtr a)
AstPtr GetPtr ()
AstPtr operator() ()

Detailed Description

Definition at line 2394 of file Microsoft.Z3.h.

Member Function Documentation

virtual bool Equals ( Object^  obj  )  [override, virtual]

Test equality of asts.

virtual int GetHashCode (  )  [override, virtual]

Obtain hash code.

virtual String ToString (  )  [override, virtual]

Pretty print term, sort or declaration.

Last modified Wed Sep 3 08:54:20 2008