import { PointerType, Bool } from "../../compilation/types";
import { ExpressionContext, ConstructDescription, SemanticContext } from "../../compilation/contexts";
import { SuccessfullyCompiled, RuntimeConstruct } from "../CPPConstruct";
import { CompiledExpression, TypedExpression, t_TypedExpression } from "./Expression";
import { RuntimeExpression } from "./RuntimeExpression";
import { AnalyticConstruct } from "../../../analysis/predicates";
import { CompiledTemporaryDeallocator } from "../TemporaryDeallocator";
import { RelationalBinaryOperatorExpressionASTNode, t_RelationalBinaryOperators } from "../../../ast/ast_expressions";
import { SimpleRuntimeExpression } from "./SimpleRuntimeExpression";
import { BinaryOperatorExpression } from "./BinaryOperatorExpression";
export declare class PointerComparisonExpression extends BinaryOperatorExpression<RelationalBinaryOperatorExpressionASTNode> {
    readonly construct_type = "pointer_comparison_expression";
    readonly type: Bool;
    readonly valueCategory = "prvalue";
    readonly left: TypedExpression<PointerType, "prvalue">;
    readonly right: TypedExpression<PointerType, "prvalue">;
    readonly operator: t_RelationalBinaryOperators;
    constructor(context: ExpressionContext, ast: RelationalBinaryOperatorExpressionASTNode | undefined, left: TypedExpression<PointerType, "prvalue">, right: TypedExpression<PointerType, "prvalue">, operator: t_RelationalBinaryOperators);
    describeEvalResult(depth: number): ConstructDescription;
    isSemanticallyEquivalent_impl(other: AnalyticConstruct, ec: SemanticContext): boolean;
}
export interface TypedPointerComparisonExpression extends PointerComparisonExpression, t_TypedExpression {
}
export interface CompiledPointerComparisonExpression<OperandT extends PointerType = PointerType> extends TypedPointerComparisonExpression, SuccessfullyCompiled {
    readonly temporaryDeallocator?: CompiledTemporaryDeallocator;
    readonly left: CompiledExpression<OperandT, "prvalue">;
    readonly right: CompiledExpression<OperandT, "prvalue">;
}
export declare class RuntimePointerComparisonExpression<OperandT extends PointerType = PointerType> extends SimpleRuntimeExpression<Bool, "prvalue", CompiledPointerComparisonExpression<OperandT>> {
    left: RuntimeExpression<OperandT, "prvalue">;
    right: RuntimeExpression<OperandT, "prvalue">;
    constructor(model: CompiledPointerComparisonExpression<OperandT>, parent: RuntimeConstruct);
    operate(): void;
}