Help Docs

---

Advanced.MatchLogicFunction
Advanced.PermuteLogicFunction
Analysis.IsBiUnateFunction
Analysis.IsBiUnateFunctionTo
Analysis.IsBlankFunction
Analysis.IsCovering
Analysis.IsEqual
Analysis.IsInverse
Analysis.IsLinearFunction
Analysis.IsMonotonicFunction
Analysis.IsNegativeUnateFunctionTo
Analysis.IsOneFunction
Analysis.IsParityFunction
Analysis.IsPositiveFunction
Analysis.IsPositiveUnateFunctionTo
Analysis.IsSelfAntiDualFunction
Analysis.IsSelfDualFunction
Analysis.IsSymmetricFunction
Analysis.IsSymmetricFunctionTo
Analysis.IsThresholdFunction
Analysis.IsUnateFunction
Analysis.IsUnateFunctionTo
Analysis.IsZeroFunction
And
AndOr
AndXor
BDD.ToAndOr
BDD
binary()
Binary.AbsoluteExpression.FromBinary
Binary.AbsoluteExpression.List
Binary.AbsoluteExpression.MaxValue
Binary.AbsoluteExpression.MinValue
Binary.AbsoluteExpression.ToBinary
Binary.BCD.FromBinary
Binary.BCD.List
Binary.BCD.ToBinary
Binary.BCDEx3.FromBinary
Binary.BCDEx3.List
Binary.BCDEx3.ToBinary
Binary.BinaryNumberToString
Binary.GrayCode.FromBinary
Binary.GrayCode.List
Binary.GrayCode.ToBinary
Binary.NineComplement.FromBinary
Binary.NineComplement.List
Binary.NineComplement.ToBinary
Binary.OneComplement.FromBinary
Binary.OneComplement.List
Binary.OneComplement.MaxValue
Binary.OneComplement.MinValue
Binary.OneComplement.ToBinary
Binary.PureBinary.FromBinary
Binary.PureBinary.List
Binary.PureBinary.MaxValue
Binary.PureBinary.MinValue
Binary.PureBinary.ToBinary
Binary.StringToBinaryNumber
Binary.TwoComplement.FromBinary
Binary.TwoComplement.List
Binary.TwoComplement.MaxValue
Binary.TwoComplement.MinValue
Binary.TwoComplement.ToBinary
binary
binaryioset()
binaryioset
bool()
bool
Convert.AndOr.ToAndXor
Convert.AndOr.ToOrAnd
Convert.AndXor.AddXorTerm
Convert.AndXor.ToAndOr
Convert.ToAndOr
Convert.ToAndXor
Convert.ToDiagram
Convert.ToDualFunction
Convert.ToNotFunction
Convert.ToOrAnd
Convert.ToPOS
Convert.ToROBDD
Convert.ToShannonTree
Convert.ToSOP
Convert.ToTruthTable
Convert.ToVariableInvertedFunction
Convert.ToXORP
Diagram.ToAndOr
Diagram
DiagramGateName
DigitalSystem
Dimacs
Email
Eq
Equiv
ExcitationTable
FeedbackDiagram
FeedbackSystem
Imply
list()
List.Count
List.Get
Load
LogicScript
logicvardef()
logicvardef
long()
long
minterm()
minterm
Minus
Nand
Nor
Not
NumberSystem.LeastSignificantDigit
NumberSystem.MantissaToPositiveDecimal
NumberSystem.MantissaToPositiveInteger
NumberSystem.MantissaToPositiveNumber
NumberSystem.MostSignificantDigit
NumberSystem.PositiveDecimalToMantissa
NumberSystem.PositiveIntegerToMantissa
NumberSystem.PositiveNumberToMantissa
NumberSystem.Radixes
NumberSystem.RadixFromIndex
NumberSystem.RadixToIndex
object()
object
One
Or
OrAnd
PermutationMatrix
POS
Print
real()
real
Realization.POS.To2LayerNor
Realization.POS.To2LayerOrAnd
Realization.SOP.To2LayerAndOr
Realization.SOP.To2LayerAndXor
Realization.SOP.To2LayerNand
Realization.SOP.ToFullAnd
SAT.MaxSAT
SAT.Solve
Save
Sequential.Analysis.ShortestInputsForDistinguishTwoStates
Sequential.Analysis.ShortestInputsForTransition
Sequential.Analysis.TransitionSeries
Sequential.Assign.AutoAssignInputAndStateVariables
Sequential.Assign.InputVariables.Backwardly
Sequential.Assign.InputVariables.Forwardly
Sequential.Assign.StateVariables.Backwardly
Sequential.Assign.StateVariables.Forwardly
Sequential.Assign.StateVariables.OutputAndStateBasedly
Sequential.Assign.StateVariables.StateTransitionBasedly
Sequential.Convert.ToFeedbackSystem
Sequential.Convert.ToStateTransitionTable
Sequential.CreateCompactTable
Sequential.CreateCompactTableWithFullSimplification
Sequential.GetExcitationTable
Sequential.Implementation.ToDigitalSystem
Sequential.Realization.To2LayerAndOr
Sequential.Realization.To2LayerAndXor
Sequential.Realization.To2LayerNand
Sequential.Realization.To2LayerNor
Sequential.Realization.To2layerOrAnd
Sequential.Simplification.Compatibility
Sequential.Simplification.FullTable
Sequential.Simplification.HuffmanMealy
ShannonTree.Balanced
ShannonTree.BestVariableOrder
ShannonTree.Fast
ShannonTree.FastVerificationData
ShannonTree.ROBDD
Simplification.Canonical
Simplification.DontCare
Simplification.Full
Simplification.MultiCover
Simplification.Shannon
Simplification.SimpleCover
Simplification.SimpleInner
SOP
StateDeviceName
StateTransition
string()
string
TimingChart
TruthTable.CreateFromLogicFunctions
TruthTable.GetDontCareLogicFunction
TruthTable.GetNegativeLogicFunction
TruthTable.GetPositiveLogicFunction
TruthTable.GetSubTable
TruthTable.RandomGenerate
TruthTable.ToAndOr
TruthTable
Utility.AdjustLogicVariableCount
Utility.ComputeDONTCARE
Utility.ComputeFunctionOrder
Utility.CreateDummyLogicFunction
Utility.EnlargeLogicFunction
Utility.IndependentBase
Utility.Normalization
Utility.SemanticEval
Utility.ShannonExpansion
Utility.ShrinkLogicFunction
Utility.Substitute
var()
var
Xor
XORP
Zero