Microsoft.Z3.AST.SExpr C# (CSharp) Method

AST Class Documentation Exibir arquivo Open project: sslab-gatech/juxta

SExpr() public method

A string representation of the AST in s-expression notation.

public SExpr ( ) : string
return	string

        public string SExpr()
        {
            Contract.Ensures(Contract.Result<string>() != null);

            return Native.Z3_ast_to_string(Context.nCtx, NativeObject);
        }

AST

CompareTo

Create

DecRef

Equals

GetHashCode

IncRef

SExpr

ToString

Translate

operator