StateTransition
Back to table
/*
LogicObject
StateTransition
[StateTransition f]=StateTransition(){ };
Define a sequential logic-object in the form of state transition
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunction IsBiUnateFunctionTo IsPositiveFunction IsPositiveUnateFunctionTo IsSelfDualFunction IsZeroFunction AndOr BDD AbsoluteExpression Convert ToOrAnd AddXorTerm ToVariableInvertedFunction Equiv Imply logicvardef() One Print To2LayerOrAnd SAT AutoAssignInputAndStateVariables StateVariables StateTransitionBasedly ToStateTransitionTable Compatibility SimpleCover ComputeDONTCARE ShrinkLogicFunction var Zero
The website is simply translated by using the Google Translate. Please inform us if you find the wrong/funny/weird translation.