Analysis.IsBiUnateFunction
Back to table
/*
Logic-Function-Analysis
Analysis.IsBiUnateFunction
[bool result]=Analysis.IsBiUnateFunction(LogicFunction f);
f : a logic function
result : true | false
Check whether $f$ is a bi-unate function to all its variables.
The unateness indicates the effect of its logic variables with a logic function when they change their value between (0,1).
*/
//-------------------------------------------------------------------
// examples
[f]=AndOr()
{
1;2;3;
}
[g]=Analysis.IsBiUnateFunction(f);
Print(g);
//-------------------------------------------------------------------
// result
IsUnateFunction IsUnateFunctionTo IsZeroFunction AbsoluteExpression MinValue binaryioset() bool() Convert ToDualFunction Get logicvardef() logicvardef minterm MantissaToPositiveInteger MantissaToPositiveNumber PositiveDecimalToMantissa object POS To2LayerNor Solve TransitionSeries Assign InputVariables StateTransitionBasedly FastVerificationData Canonical DontCare TimingChart EnlargeLogicFunction Zero