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
IsBiUnateFunctionTo IsCovering IsParityFunction IsPositiveFunction IsPositiveUnateFunctionTo IsSelfDualFunction IsUnateFunctionTo IsZeroFunction And ToAndOr List MaxValue binaryioset DiagramGateName Equiv Nand RadixToIndex object() One OrAnd To2LayerOrAnd To2LayerNand Save Sequential AutoAssignInputAndStateVariables ToFeedbackSystem Compatibility SimpleInner GetNegativeLogicFunction Zero