satsolver  0.17.2
Functions | Variables
poolarch.c File Reference
#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 []
 

Function Documentation

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 
)
unsigned char pool_arch2color_slow ( Pool pool,
Id  arch 
)

Variable Documentation

const char* archpolicies[]
static

Definition at line 23 of file poolarch.c.

Referenced by pool_setarch().