StateTransition
Back to table
/*
LogicObject
StateTransition
[StateTransition f]=StateTransition(){ };
Define a sequential logic-object in the form of state transition
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
Advanced PermuteLogicFunction IsBiUnateFunction IsLinearFunction IsParityFunction IsUnateFunction BinaryNumberToString NineComplement bool() AddXorTerm ToDualFunction Dimacs long() Nand Nor Not PositiveIntegerToMantissa object() SAT InputVariables Backwardly FastVerificationData Full Shannon StateDeviceName string ComputeDONTCARE Xor XORP Zero