ComplexExpr Class Reference

Inheritance diagram for ComplexExpr:

Public Member Functions
RealExpr	getRealPart ()
RealExpr	getImagPart ()

Detailed Description

A Complex expression. Complex numbers have no ordering.

Definition at line 5 of file ComplexExpr.java.

Member Function Documentation

getImagPart()

RealExpr getImagPart ( )

inline

Returns the Real-valued imaginary component.

Definition at line 19 of file ComplexExpr.java.

    {
        return getContext().mkImagPart(this);
    }

getRealPart()

RealExpr getRealPart ( )

inline

Returns the Real-valued real component.

Definition at line 13 of file ComplexExpr.java.

    {
        return getContext().mkRealPart(this);
    }