Advanced IsNegativeUnateFunctionTo IsZeroFunction ToBinary AddXorTerm ToNotFunction ToXORP DigitalSystem Count long() PositiveNumberToMantissa One POS SAT MaxSAT Solve Save TransitionSeries Forwardly CreateCompactTable FullTable BestVariableOrder Full TimingChart GetDontCareLogicFunction GetSubTable CreateDummyLogicFunction SemanticEval ShrinkLogicFunction Zero