#include "demod.h"

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

Contents


Public Routines in File demod.c

Index

demod_attemptsdemod_rewritesdemodulate

Details


int demod_attempts();
Return the number of rewrite attempts so far (for the whole process).
int demod_rewrites();
Return the number of successful rewrites so far (for the whole process).
Term demodulate(Term t, Mindex demods, Ilist *just_head);
This routine demodulates a term. ID numbers of demodulators are put on the front of just_head, so you'll probably want to reverse the list before putting it into the clause justification.

Public Definitions in File demod.h


Introduction


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