src/mdd/mdd_uminus.c File Reference

#include "mdd.h"

Include dependency graph for mdd_uminus.c:

Go to the source code of this file.

Functions
mdd_t *	mdd_unary_minus_s (mdd_manager *mgr, int mvar1, int mvar2)

---

Function Documentation

mdd_t* mdd_unary_minus_s	(	mdd_manager *	mgr,
		int	mvar1,
		int	mvar2
	)

Definition at line 19 of file mdd_uminus.c.

{
    return (mdd_unary_minus(mgr, mvar1, mvar2));
}