Analysis.IsSymmetricFunctionTo
Back to table
/*
Logic-Function-Analysis
Analysis.IsSymmetricFunctionTo
[bool result]=Analysis.IsSymmetricFunctionTo(LogicFunction f, var() xy);
f : a logic function
xy : a pair of indexes of (x,y)
Check whether $f$ is symmetrixfunction to (x,y).
*/
//-------------------------------------------------------------------
// examples
[f]=AndXor()
{
1;2;3;
}
[g]=Analysis.IsPositiveUnateFunctionTo(f, var(1));
Print("IsPositiveUnateFunctionTo?", g);
h=AndOr(){ 1,2,3; }
[g]=Analysis.IsPositiveUnateFunctionTo(h, var(1));
Print("IsPositiveUnateFunctionTo?", g);
//-------------------------------------------------------------------
// result
IsLinearFunction IsSelfAntiDualFunction ToAndOr List MaxValue MinValue binaryioset ToROBDD ToShannonTree ToXORP ExcitationTable Imply logicvardef Minus NumberSystem RadixFromIndex POS To2LayerAndOr TransitionSeries InputVariables OutputAndStateBasedly Implementation MultiCover StateTransition TimingChart GetDontCareLogicFunction AdjustLogicVariableCount ShrinkLogicFunction Xor Zero