SqrtPrim Class Reference

Inheritance diagram for SqrtPrim:

Collaboration diagram for SqrtPrim:

Public Member Functions
	SqrtPrim ()
virtual unsigned int	arity ()
virtual bool	needCache ()
virtual Type	infereSigType (const vector< Type > &args)
virtual void	sigVisit (Tree sig, sigvisitor *visitor)
virtual int	infereSigOrder (const vector< int > &args)
virtual Tree	computeSigOutput (const vector< Tree > &args)
virtual string	generateCode (Klass *klass, const vector< string > &args, const vector< Type > &types)
virtual string	generateLateq (Lateq *lateq, const vector< string > &args, const vector< Type > &types)
Public Member Functions inherited from xtended
	xtended (const char *name)
virtual	~xtended ()
Sym	symbol ()
const char *	name ()
Tree	box ()
virtual bool	isSpecialInfix ()
	generaly false, but true for binary op # such that #(x) == _::x More...

Detailed Description

Definition at line 8 of file sqrtprim.cpp.

Constructor & Destructor Documentation

SqrtPrim::SqrtPrim ( )

inline

Definition at line 13 of file sqrtprim.cpp.

: xtended("sqrt") {}

Member Function Documentation

virtual unsigned int SqrtPrim::arity ( )

inlinevirtual

Implements xtended.

Definition at line 15 of file sqrtprim.cpp.

Referenced by generateCode(), and generateLateq().

{ return 1; }

Here is the caller graph for this function:

virtual Tree SqrtPrim::computeSigOutput ( const vector< Tree > &  args )

inlinevirtual

Implements xtended.

Definition at line 38 of file sqrtprim.cpp.

References isNum(), xtended::symbol(), and tree().

                                                                {
        // verifier les simplifications
        num n;
        if (isNum(args[0],n)) {
            return tree(sqrt(double(n)));
        } else {
            return tree(symbol(), args[0]);
        }
    }

Here is the call graph for this function:

virtual string SqrtPrim::generateCode ( Klass *  klass, const vector< string > &  args, const vector< Type > &  types  )

inlinevirtual

Implements xtended.

Definition at line 48 of file sqrtprim.cpp.

References arity(), isuffix(), and subst().

    {
        assert (args.size() == arity());
        assert (types.size() == arity());
        
        return subst("sqrt$1($0)", args[0], isuffix());
    }

Here is the call graph for this function:

virtual string SqrtPrim::generateLateq ( Lateq *  lateq, const vector< string > &  args, const vector< Type > &  types  )

inlinevirtual

Implements xtended.

Definition at line 56 of file sqrtprim.cpp.

References arity(), and subst().

    {
        assert (args.size() == arity());
        assert (types.size() == arity());
        
        return subst("\\sqrt{$0}", args[0]);
    }

Here is the call graph for this function:

virtual int SqrtPrim::infereSigOrder ( const vector< int > &  args )

inlinevirtual

Implements xtended.

Definition at line 33 of file sqrtprim.cpp.

                                                         {
        return args[0];
    }

virtual Type SqrtPrim::infereSigType ( const vector< Type > &  args )

inlinevirtual

Implements xtended.

Definition at line 19 of file sqrtprim.cpp.

References castInterval(), floatCast(), interval::hi, interval::lo, and interval::valid.

    {
        assert (args.size() == 1);
        Type        t = args[0];
        interval    i = t->getInterval();
        if (i.valid && i.lo >=0) {
            return castInterval(floatCast(t), interval(sqrt(i.lo), sqrt(i.hi)));
        } else {
            return castInterval(floatCast(t), interval());
        }
    }

Here is the call graph for this function:

virtual bool SqrtPrim::needCache ( )

inlinevirtual

Implements xtended.

Definition at line 17 of file sqrtprim.cpp.

{ return true; }

virtual void SqrtPrim::sigVisit ( Tree  sig, sigvisitor *  visitor  )

inlinevirtual

Definition at line 31 of file sqrtprim.cpp.

{}  

---

The documentation for this class was generated from the following file:

• sqrtprim.cpp