ExcitationTable
Back to table
/*
LogicObject
ExcitationTable
[ExcitationTable f]=ExcitationTable(){ };
Define the excitation table of a state-device, like flipflop.
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsBiUnateFunction IsBiUnateFunctionTo IsEqual IsLinearFunction ToAndOr binary() NineComplement OneComplement PureBinary AddXorTerm ToPOS ToShannonTree LogicScript logicvardef long MantissaToPositiveDecimal MantissaToPositiveNumber PositiveIntegerToMantissa To2LayerAndXor SAT StateVariables ToFeedbackSystem BestVariableOrder SimpleCover SimpleInner StateDeviceName string() RandomGenerate Xor Zero