satsolver  0.17.2
Macros | Functions
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.

Macros

#define _GNU_SOURCE
 

Functions

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

Macro Definition Documentation

#define _GNU_SOURCE

Definition at line 14 of file poolvendor.c.

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().