ExcitationTable
Back to table
/*
LogicObject
ExcitationTable
[ExcitationTable f]=ExcitationTable(){ };
Define the excitation table of a state-device, like flipflop.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
PermuteLogicFunction IsBiUnateFunction IsEqual IsPositiveFunction IsThresholdFunction IsUnateFunctionTo BCD BCDEx3 binary ToOrAnd ToNotFunction Diagram Eq Equiv logicvardef() Nor LeastSignificantDigit real() real ShortestInputsForDistinguishTwoStates StateTransitionBasedly CreateCompactTable Compatibility ROBDD Full string() GetNegativeLogicFunction AdjustLogicVariableCount SemanticEval Zero