real()
Back to table
/*
BasicType
real()
[real() f]=function(real() g);
A list of double-precision real numbers
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
Advanced Analysis IsMonotonicFunction And List binary AddXorTerm ToPOS ToROBDD ToVariableInvertedFunction DiagramGateName Dimacs Load long Nor Not PositiveDecimalToMantissa RadixFromIndex OrAnd POS To2LayerAndOr ToFullAnd InputVariables Backwardly FastVerificationData SimpleCover StateTransition RandomGenerate ComputeDONTCARE Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.