Sequential.Simplification.FullTable
Back to table
/*
SequentialLogic
Sequential.Simplification.FullTable
[StateTransition result]=Sequential.Simplification.FullTable(StateTransition table);
Simplify an incompletely defined state-transition-table with the compatibility algorithm.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsEqual IsInverse IsPositiveUnateFunctionTo And ToAndOr Binary MinValue ToAndXor ToXORP logicvardef() long() LeastSignificantDigit RadixToIndex One Or real() To2LayerOrAnd To2LayerAndOr SAT InputVariables ToStateTransitionTable FullTable string() TimingChart GetPositiveLogicFunction ComputeFunctionOrder ShannonExpansion Substitute var() Zero