#ifndef _REAL_REF_H
#define _REAL_REF_H

class ANY;

/*
 *
 * Non-expanded forms of basic type
*/

class REAL_REF : public virtual ANY {
public:
	REAL val;
	REAL_REF(); 
	virtual void set_value( REAL); 
	virtual REAL item (); 
	virtual STRING *out(); 
	virtual void print( ANY *);

	virtual REAL_REF* _Clone (int, int, REAL_REF*); 
	virtual REAL_REF* _localClone (int, int); 
	virtual void _Copy ( int, int, REAL_REF*); 
	BOOLEAN _Equal ( int, int, REAL_REF*); 
	void*   _rev_cvt ( int _type);
	BOOLEAN is_equal (REAL_REF*); 
	BOOLEAN equal (ANY*, REAL_REF*); 
	void copy ( REAL_REF*);
	REAL_REF* clone ( REAL_REF*);
	BOOLEAN deep_equal ( REAL_REF*, REAL_REF*);
	void deep_copy ( REAL_REF*);
	REAL_REF* deep_clone ( REAL_REF*);
	BOOLEAN _INFIX_LEQ ( REAL_REF*);
	REAL_REF* _INFIX_ADD ( REAL_REF*);
	REAL_REF* _INFIX_SUB ( REAL_REF*);
	REAL_REF* _INFIX_MUL ( REAL_REF*);
	REAL_REF* _INFIX_DIV ( REAL_REF*);
   	BOOLEAN _Conforms_to ( int other_id);
};

REAL_REF* _ert_clone_REAL ( REAL);
REAL_REF* _ert_clone_REAL_REF ( REAL_REF *v);
REAL_REF* _REAL_REF_chk ( REAL_REF*, char *);
REAL_REF* _bibt_REAL_REAL_REF ( REAL);


#endif /* _REAL_REF_H */
