StateTransition
Back to table
/*
LogicObject
StateTransition
[StateTransition f]=StateTransition(){ };
Define a sequential logic-object in the form of state transition
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunctionTo IsCovering IsLinearFunction IsPositiveFunction IsSelfAntiDualFunction IsSelfDualFunction IsZeroFunction And OneComplement binary binaryioset() ToTruthTable LogicScript logicvardef Minus NumberSystem MantissaToPositiveDecimal Or PermutationMatrix To2LayerNor To2LayerOrAnd SOP Implementation Compatibility ShannonTree FastVerificationData GetSubTable ComputeFunctionOrder EnlargeLogicFunction Zero