Convert.ToDiagram
Back to table
/*
Logic-Function-Analysis
Convert.ToDiagram
[Diagram g]=Convert.ToDiagram(LogicFunction f);
f : a logic function
g : a logic function in the Diagram form.
Convert the first sub logic function into the Diagram form
*/
//-------------------------------------------------------------------
// examples
f=AndOr()
{
1,-2;
-1,2;
}
g=Convert.ToDiagram(f);
Print(f,g);
//-------------------------------------------------------------------
// result
And AndXor Binary AbsoluteExpression BCD PureBinary bool() ToAndXor ToDiagram Equiv FeedbackSystem Imply list() Count Get MantissaToPositiveInteger SOP Assign StateVariables StateTransitionBasedly Compatibility BestVariableOrder FastVerificationData ROBDD Canonical MultiCover SimpleCover StateDeviceName var Zero