ComplexExpr.java

Go to the documentation of this file.

/* Copyright (c) 2026 Microsoft Corporation */
package com.microsoft.z3;
 
public class ComplexExpr extends ArithExpr<ComplexSort>
{
    ComplexExpr(Context ctx, long obj)
    {
        super(ctx, obj);
    }
 
    public RealExpr getRealPart()
    {
        return getContext().mkRealPart(this);
    }
 
    public RealExpr getImagPart()
    {
        return getContext().mkImagPart(this);
    }
}