Sequential.Implementation.ToDigitalSystem
Back to table
/*
SequentialLogic
Sequential.Implementation.ToDigitalSystem
[DigitalSystem sys]=Sequential.Implementation.ToDigitalSystem(StateTransition table);
Implement a state-transition-table with the state-devices.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
MatchLogicFunction IsLinearFunction bool() bool ToShannonTree ToVariableInvertedFunction Dimacs ExcitationTable logicvardef() Not LeastSignificantDigit MantissaToPositiveNumber RadixFromIndex One Realization To2LayerOrAnd MaxSAT Save InputVariables Backwardly StateTransitionBasedly ToFeedbackSystem To2layerOrAnd BestVariableOrder FastVerificationData Canonical Full TruthTable EnlargeLogicFunction Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.