Sequential.Assign.StateVariables.StateTransitionBasedly
Back to table
/*
SequentialLogic
Sequential.Assign.StateVariables.StateTransitionBasedly
[StateTransition table]=Sequential.Assign.StateVariables.StateTransitionBasedly(StateTransition table);
Assign binary to states according to the frequency of its states appearing in the transition.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsEqual IsPositiveUnateFunctionTo IsSelfDualFunction IsSymmetricFunction AndOr AndXor binary() bool ToOrAnd ToTruthTable DiagramGateName Count LogicScript long PositiveNumberToMantissa Or To2LayerNor Save InputVariables Backwardly StateVariables BestVariableOrder ROBDD SimpleCover string Utility EnlargeLogicFunction Normalization SemanticEval Zero