satsolver
0.17.2
|
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "pool.h"
#include "poolid.h"
#include "poolarch.h"
#include "util.h"
Go to the source code of this file.
Functions | |
void | pool_setarch (Pool *pool, const char *arch) |
void | pool_setarchpolicy (Pool *pool, const char *arch) |
unsigned char | pool_arch2color_slow (Pool *pool, Id arch) |
Variables | |
static const char * | archpolicies [] |
void pool_setarch | ( | Pool * | pool, |
const char * | arch | ||
) |
Definition at line 57 of file poolarch.c.
References archpolicies, and pool_setarchpolicy().
void pool_setarchpolicy | ( | Pool * | pool, |
const char * | arch | ||
) |
Definition at line 85 of file poolarch.c.
References _Pool::id2arch, _Pool::id2color, _Pool::lastarch, sat_calloc(), sat_free(), sat_realloc2(), and strn2id().
Referenced by pool_setarch().
Definition at line 140 of file poolarch.c.
References ARCHCOLOR_32, ARCHCOLOR_64, ARCHCOLOR_ALL, _Pool::id2color, id2str(), _Pool::lastarch, and sat_calloc().
Referenced by pool_arch2color().
|
static |
Definition at line 23 of file poolarch.c.
Referenced by pool_setarch().