Sequential.Assign.StateVariables.Backwardly
Back to table
/*
SequentialLogic
Sequential.Assign.StateVariables.Backwardly
[StateTransition table]=Sequential.Assign.StateVariables.Backwardly(StateTransition table);
Assign binary to states according to its indexes backwardly.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
MatchLogicFunction Analysis IsPositiveUnateFunctionTo IsSymmetricFunction IsThresholdFunction AndXor ToAndOr ToOrAnd ToDiagram ToPOS Dimacs FeedbackDiagram LogicScript minterm() Nor RadixFromIndex Or Realization To2LayerAndXor ShortestInputsForTransition StateVariables ToFeedbackSystem Compatibility FullTable SimpleCover string RandomGenerate Utility ComputeDONTCARE Zero