asReal

open override fun asReal(): Real

Casts the current Term to Real, if possible, or returns null otherwise

Return

the current Term, casted to Real, or null, if the current term is not an instance of Real