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