StateTransition
Back to table
/*
LogicObject
StateTransition
[StateTransition f]=StateTransition(){ };
Define a sequential logic-object in the form of state transition
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
MatchLogicFunction IsBlankFunction IsCovering IsSymmetricFunctionTo IsThresholdFunction IsUnateFunctionTo BCD bool ToShannonTree Equiv list() Count LogicScript Minus MantissaToPositiveDecimal MantissaToPositiveNumber To2LayerNor To2LayerAndXor Solve To2layerOrAnd Simplification ROBDD Full SimpleCover StateDeviceName TruthTable ShrinkLogicFunction var() XORP Zero