Sequential.Simplification.Compatibility
Back to table
/*
SequentialLogic
Sequential.Simplification.Compatibility
[StateTransition result]=Sequential.Simplification.Compatibility(StateTransition table);
Simplify an incompletely defined state-transition-table with the compatibility algorithm.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsInverse IsNegativeUnateFunctionTo IsOneFunction IsSelfDualFunction IsSymmetricFunction AndOr FromBinary MaxValue GrayCode StringToBinaryNumber ToPOS ToROBDD Get LogicScript Minus object() Print real() To2LayerAndXor MaxSAT OutputAndStateBasedly ToStateTransitionTable To2layerOrAnd BestVariableOrder ROBDD string CreateDummyLogicFunction IndependentBase XORP Zero