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


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