Diagram
Back to table
/*
LogicObject
Diagram
[Diagram f]=Diagram(inputindexes){ nodes; };
Define a combinatorial logic-object in the form of diagram
*/
//-------------------------------------------------------------------
// examples
//-------------------------------------------------------------------
// result
IsEqual IsThresholdFunction And binaryioset() binaryioset ToDualFunction ToVariableInvertedFunction Dimacs FeedbackSystem logicvardef() logicvardef long() PositiveIntegerToMantissa Radixes object Realization To2LayerOrAnd SAT InputVariables StateTransitionBasedly GetExcitationTable Balanced Fast Canonical MultiCover SimpleCover GetPositiveLogicFunction ComputeFunctionOrder var Zero