Analysis.IsUnateFunction
Back to table
/*
Logic-Function-Analysis
Analysis.IsUnateFunction
[bool result]=Analysis.IsUnateFunction(LogicFunction f);
f : a logic function
result : true | false
Check whether $f$ is 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.IsUnateFunction(f);
Print("IsUnateFunction?",g);
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsPositiveUnateFunctionTo And ToAndOr List MaxValue MinValue ToBinary binary bool() ToVariableInvertedFunction Dimacs Equiv FeedbackDiagram Count logicvardef() Nand Not RadixFromIndex Or MaxSAT ShortestInputsForTransition CreateCompactTable SimpleInner StateTransition AdjustLogicVariableCount ComputeDONTCARE IndependentBase Normalization Zero