Sequential.Assign.InputVariables.Backwardly
Back to table
/*
SequentialLogic
Sequential.Assign.InputVariables.Backwardly
[StateTransition table]=Sequential.Assign.InputVariables.Backwardly(StateTransition table);
Assign binary to inputs according to its indexes backwardly.
*/
//-------------------------------------------------------------------
// 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