Analysis.IsSymmetricFunction
Back to table
/*
Logic-Function-Analysis
Analysis.IsSymmetricFunction
[bool result]=Analysis.IsSymmetricFunction(LogicFunction f);
f : a logic function
result : true | false
Check whether $f$ is a symmetric function.
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
1;2;3;
}
[g]=Analysis.IsSymmetricFunction(f);
Print("IsSymmetricFunction?", g);
//-------------------------------------------------------------------
// result
Analysis IsEqual IsPositiveFunction IsZeroFunction And ToROBDD ToXORP DigitalSystem Imply list() Nor MantissaToPositiveDecimal MostSignificantDigit OrAnd SAT MaxSAT Assign StateTransitionBasedly GetExcitationTable To2layerOrAnd Simplification BestVariableOrder GetNegativeLogicFunction GetPositiveLogicFunction ComputeDONTCARE CreateDummyLogicFunction EnlargeLogicFunction var() XORP Zero