poolvendor.h

Go to the documentation of this file.
00001 /*
00002  * Copyright (c) 2007, Novell Inc.
00003  *
00004  * This program is licensed under the BSD license, read LICENSE.BSD
00005  * for further information
00006  */
00007 
00008 #ifndef SATSOLVER_POOLVENDOR_H
00009 #define SATSOLVER_POOLVENDOR_H
00010 
00011 #include "pool.h"
00012 
00013 Id pool_vendor2mask(Pool *pool, Id vendor);
00014 
00015 #endif /* SATSOLVER_POOLVENDOR_H */

doxygen