Méthodes fréquemment utilisées
Méthodes fréquemment utilisées
Méthodes fréquemment utilisées
Méthodes fréquemment utilisées
/// <summary>
/// At each terminal, return 1 if dd1 == dd2; 0 if dd1 != dd2
/// [ REFS: 'result', DEREFS: dd1, dd2 ]
/// </summary>
public static CUDDNode Equal(CUDDNode dd1, CUDDNode dd2)
{
return(new CUDDNode(PlatformInvoke.DD_ApplyEqual(manager, dd1.Ptr, dd2.Ptr)));
}