Sequential.Simplification.Compatibility
Back to table
/*
SequentialLogic
Sequential.Simplification.Compatibility
[StateTransition result]=Sequential.Simplification.Compatibility(StateTransition table);
Simplify an incompletely defined state-transition-table with the compatibility algorithm.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
MatchLogicFunction IsBlankFunction IsPositiveFunction IsSelfAntiDualFunction MaxValue PureBinary bool ToAndXor ToDualFunction ToTruthTable ToVariableInvertedFunction Eq FeedbackDiagram Get Minus PositiveNumberToMantissa RadixToIndex PermutationMatrix ToFullAnd StateVariables CreateCompactTable Implementation FullTable ShannonTree ROBDD Canonical GetNegativeLogicFunction ShrinkLogicFunction var Zero