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
IsBiUnateFunctionTo IsSymmetricFunction IsZeroFunction Binary BinaryNumberToString StringToBinaryNumber binaryioset() binaryioset ToDiagram ToNotFunction Get minterm Minus Nand PermutationMatrix real() MaxSAT Save ShortestInputsForTransition Assign CreateCompactTable Compatibility MultiCover StateDeviceName CreateFromLogicFunctions RandomGenerate CreateDummyLogicFunction IndependentBase ShannonExpansion Zero