Microsoft.Z3.Context.WrapAST C# (CSharp) Méthode

Context Class Documentation Afficher le fichier Open project: sslab-gatech/juxta

WrapAST() public méthode

Wraps an AST.

This function is used for transitions between native and managed objects. Note that nativeObject must be a native object obtained from Z3 (e.g., through UnwrapAST) and that it must have a correct reference count (see e.g., Native.Z3_inc_ref.

public WrapAST ( IntPtr nativeObject ) : AST
nativeObject	System.IntPtr	The native pointer to wrap.
Résultat	AST

        public AST WrapAST(IntPtr nativeObject)
        {
            Contract.Ensures(Contract.Result<AST>() != null);
            return AST.Create(this, nativeObject);
        }

Context

And

AndThen

BenchmarkToSMTString

CheckContextMatch

Cond

ConstProbe

Context

Dispose

Fail

FailIf

FailIfNotDecided