satsolver  0.17.2
Functions
poolvendor.h File Reference
#include "pool.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 
)