public interface Double extends RealType
GASTMPackage.getDouble()
getPrecision, setPrecision
getIsSigned, setIsSigned
getIsConst, setIsConst
getAnnotations, getLocationInfo, getPreProcessorElements, setLocationInfo