glu-2.2: src/mdd/mdd_uminus.c Source File

00001 #include "mdd.h"
00002 
00003 /*
00004  * MDD Package
00005  *
00006  * $Id: mdd_uminus.c,v 1.9 2002/08/24 21:48:15 fabio Exp $
00007  *
00008  * Author: Timothy Kam
00009  *
00010  * Copyright 1992 by the Regents of the University of California.
00011  *
00012  * All rights reserved.  Permission to use, copy, modify and distribute
00013  * this software is hereby granted, provided that the above copyright
00014  * notice and this permission notice appear in all copies.  This software
00015  * is made available as is, with no warranties.
00016  */
00017 
00018 mdd_t *
00019 mdd_unary_minus_s(
00020   mdd_manager *mgr,
00021   int mvar1,
00022   int mvar2)
00023 {
00024     return (mdd_unary_minus(mgr, mvar1, mvar2));
00025 }
00026 
00027 /*---------------------------------------------------------------------------*/
00028 /* Static function prototypes                                                */
00029 /*---------------------------------------------------------------------------*/
00030