Convert.AndXor.AddXorTerm
Back to table
/*
Logic-Function-Analysis
Convert.AndXor.AddXorTerm
[AndXor g]=Convert.AndXor.AddXorTerm(AndXor f, LogicFunction g);
Add logic-term to an AndXor.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsSelfDualFunction IsUnateFunction IsUnateFunctionTo BDD MinValue Convert ToDualFunction Dimacs Imply long() long Nor MantissaToPositiveNumber RadixToIndex OrAnd real() To2LayerAndOr To2LayerAndXor Save StateVariables CreateCompactTable Simplification HuffmanMealy FastVerificationData SimpleInner CreateFromLogicFunctions GetDontCareLogicFunction GetPositiveLogicFunction ShannonExpansion Zero