자주 사용되는 메소드들
자주 사용되는 메소드들
자주 사용되는 메소드들
자주 사용되는 메소드들
/// <summary>
/// Create node with root node dd1, its then node is dd2 and its else node is dd3.
/// This procedure assumes that dd1 is a 0-1 ADD.
/// [ REFS: 'result', DEREFS: dd1, dd2, dd3 ].
/// </summary>
public static CUDDNode ITE(CUDDNode dd1, CUDDNode dd2, CUDDNode dd3)
{
return(new CUDDNode(PlatformInvoke.DD_ITE(manager, dd1.Ptr, dd2.Ptr, dd3.Ptr)));
}