poolvendor.c File Reference

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <fnmatch.h>
#include "pool.h"
#include "poolid.h"
#include "poolvendor.h"
#include "util.h"

Go to the source code of this file.

Functions

Id pool_vendor2mask (Pool *pool, Id vendor)
void pool_setvendorclasses (Pool *pool, const char **vendorclasses)


Function Documentation

Id pool_vendor2mask ( Pool pool,
Id  vendor 
)

void pool_setvendorclasses ( Pool pool,
const char **  vendorclasses 
)

Definition at line 83 of file poolvendor.c.

References queue_empty(), sat_calloc(), sat_free(), _Pool::vendorclasses, and _Pool::vendormap.

Referenced by pool_free().


Generated on Mon Dec 15 17:56:24 2014 for satsolver by  doxygen 1.5.6