Analysis.IsOneFunction
Back to table
/*
Logic-Function-Analysis
Analysis.IsOneFunction
[bool result]=Analysis.IsOneFunction(LogicFunction f);
f : a logic function
result : true | false
Check whether $f=ONE$.
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
1;2;3;
}
[g]=Analysis.IsOneFunction(f);
Print("IsOneFunction?", g);
[g]=Analysis.IsOneFunction(Or(1,-1));
Print("IsOneFunction?", g);
//-------------------------------------------------------------------
// result
IsCovering IsInverse IsSelfAntiDualFunction IsThresholdFunction IsUnateFunctionTo MinValue ToROBDD Eq Count logicvardef() minterm Minus Not Radixes PermutationMatrix real() To2LayerAndOr SAT Solve Backwardly CreateCompactTable ROBDD Full MultiCover SimpleInner AdjustLogicVariableCount ComputeDONTCARE EnlargeLogicFunction XORP Zero