#include "int_code.h"

This page has information from files int_code.h and int_code.c.

Contents


Public Routines in File int_code.c

Index

check_ibuf_clauseget_clause_from_ibufput_clause_to_ibuf

Details


void check_ibuf_clause(Clause c);

Clause get_clause_from_ibuf(Ibuffer ibuf);

void put_clause_to_ibuf(Ibuffer ibuf, Clause c);

Public Definitions in File int_code.h


Introduction


These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.