real()
Back to table
/*
BasicType
real()
[real() f]=function(real() g);
A list of double-precision real numbers
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunction IsInverse IsNegativeUnateFunctionTo IsZeroFunction AndOr ToAndOr binary() AbsoluteExpression List TwoComplement binary bool() ToDiagram ToNotFunction ToSOP ToVariableInvertedFunction Count long() MantissaToPositiveNumber PositiveNumberToMantissa Radixes object() Solve StateVariables StateTransitionBasedly ToStateTransitionTable FastVerificationData Canonical SimpleInner Zero