Sequential.Analysis.ShortestInputsForTransition
Back to table
/*
SequentialLogic
Sequential.Analysis.ShortestInputsForTransition
[binary() result]=Sequential.Analysis.ShortestInputsForTransition(StateTransition table, var() stateXY);
Compute the shortest inputs for transition from state x to y.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsUnateFunctionTo BDD Binary MaxValue MinValue ToBinary PureBinary bool ToOrAnd ToDiagram FeedbackDiagram FeedbackSystem logicvardef() long Not One Or To2LayerNor Solve Sequential StateTransitionBasedly CreateCompactTable Implementation Compatibility ShannonTree StateTransition ComputeFunctionOrder ShrinkLogicFunction var Zero