StateTransition
Back to table
/*
LogicObject
StateTransition
[StateTransition f]=StateTransition(){ };
Define a sequential logic-object in the form of state transition
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsCovering IsEqual IsPositiveUnateFunctionTo And PureBinary ToOrAnd ToVariableInvertedFunction long minterm MantissaToPositiveDecimal PositiveDecimalToMantissa PositiveIntegerToMantissa PositiveNumberToMantissa real() To2LayerOrAnd SOP To2LayerAndOr MaxSAT ShortestInputsForDistinguishTwoStates ShortestInputsForTransition ToStateTransitionTable Simplification FullTable SimpleInner GetDontCareLogicFunction GetSubTable IndependentBase Substitute var Zero