Métodos usados con frecuencia
Métodos usados con frecuencia
Métodos usados con frecuencia
Métodos usados con frecuencia
/// <summary>
/// Imply 0-1 ADDs, difficult to know the result if not 0-1 ADDs, refer the C++ code
/// [ REFS: 'result', DEREFS: dd1, dd2 ]
/// </summary>
public static CUDDNode Implies(CUDDNode dd1, CUDDNode dd2)
{
return(new CUDDNode(PlatformInvoke.DD_Implies(manager, dd1.Ptr, dd2.Ptr)));
}