Analysis.IsUnateFunctionTo
Back to table
/*
Logic-Function-Analysis
Analysis.IsUnateFunctionTo
[bool result]=Analysis.IsUnateFunctionTo(LogicFunction f, var() x);
f : a logic function
x : the index of the variable
Check whether $f$ is unate function to its variable x.
The unateness indicates the effect of its logic variables with a logic function when they change their value between (0,1).
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
1;2;3;
}
[g]=Analysis.IsUnateFunctionTo(f, var(1));
Print("IsUnateFunctionTo?", g);
h=AndOr(){ 2,3; }
[g]=Analysis.IsUnateFunctionTo(h, var(1));
Print("IsUnateFunctionTo?", g);
//-------------------------------------------------------------------
// result
IsCovering IsNegativeUnateFunctionTo bool ToDualFunction ToNotFunction Diagram FeedbackDiagram list() minterm Radixes Print real SAT Sequential OutputAndStateBasedly To2layerOrAnd Simplification HuffmanMealy ShannonTree BestVariableOrder Canonical MultiCover string() GetPositiveLogicFunction EnlargeLogicFunction ShrinkLogicFunction var() Xor XORP Zero