TimingChart
Back to table
/*
LogicObject
TimingChart
[TimingChart f]=TimingChart(){ };
Define a sequential logic-object in the form of timing-chart
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsCovering IsParityFunction IsPositiveFunction IsUnateFunction AndOr ToAndOr Binary FromBinary BinaryNumberToString binary binaryioset bool() bool ToROBDD Equiv logicvardef NumberSystem MantissaToPositiveDecimal PositiveDecimalToMantissa PositiveIntegerToMantissa object() To2LayerOrAnd MaxSAT Save ToFeedbackSystem ROBDD Full string CreateFromLogicFunctions Zero