long()
Back to table
/*
BasicType
long()
[long() f]=function(long() g);
A list of long values
*/
//-------------------------------------------------------------------
// examples
[long() a]=long(
1,
100,
10000
);
Print(a);
a = long(
1,
100,
10000
);
//-------------------------------------------------------------------
// result
IsCovering IsEqual IsInverse IsPositiveFunction IsThresholdFunction AndOr AndXor binary() AbsoluteExpression AddXorTerm Diagram Dimacs logicvardef() logicvardef long() MantissaToPositiveDecimal MantissaToPositiveNumber object() OrAnd Sequential ToFeedbackSystem CreateCompactTableWithFullSimplification To2layerOrAnd Simplification FastVerificationData Shannon SimpleInner ComputeDONTCARE ComputeFunctionOrder Zero