StateTransition
Back to table
/*
LogicObject
StateTransition
[StateTransition f]=StateTransition(){ };
Define a sequential logic-object in the form of state transition
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
PermuteLogicFunction IsBlankFunction IsCovering IsLinearFunction IsMonotonicFunction IsPositiveFunction AndOr AndXor FromBinary BCDEx3 ToNotFunction ToPOS ToVariableInvertedFunction Imply MantissaToPositiveDecimal PositiveNumberToMantissa PermutationMatrix Print real() Realization ToFullAnd MaxSAT ShortestInputsForDistinguishTwoStates Compatibility ROBDD GetNegativeLogicFunction Normalization Substitute var Zero