ComplexExpr.cs

Go to the documentation of this file.

/* Copyright (c) 2026 Microsoft Corporation */
using System;
 
namespace Microsoft.Z3
{
    public class ComplexExpr : ArithExpr
    {
        internal ComplexExpr(Context ctx, IntPtr obj) : base(ctx, obj) { }
 
        public RealExpr RealPart { get { return Context.MkRealPart(this); } }
 
        public RealExpr ImagPart { get { return Context.MkImagPart(this); } }
    }
}