import { ArkNewExpr, ArkInstanceInvokeExpr } from '../../../core/base/Expr';
import { ArkInstanceFieldRef } from '../../../core/base/Ref';
import { Stmt } from '../../../core/base/Stmt';
import { Value } from '../../../core/base/Value';
import { ValueInference, FieldRefInference, InstanceInvokeExprInference } from '../../../core/inference/ValueInference';
export declare class CxxFieldRefInference extends FieldRefInference {
    getValueName(): string;
    infer(value: ArkInstanceFieldRef, stmt: Stmt): Value | undefined;
}
export declare class CxxInstanceInvokeExprInference extends InstanceInvokeExprInference {
    preInfer(value: ArkInstanceInvokeExpr, stmt?: Stmt): boolean;
    infer(value: ArkInstanceInvokeExpr, stmt: Stmt): Value | undefined;
}
export declare class CxxArkNewExprInference extends ValueInference<ArkNewExpr> {
    getValueName(): string;
    preInfer(value: ArkNewExpr): boolean;
    infer(value: ArkNewExpr, stmt: Stmt): Value | undefined;
}
export declare function getCxxValueInferences(): ValueInference<Value>[];
//# sourceMappingURL=CxxValueInference.d.ts.map