scc_xsb.c File Reference

#include "xsb_config.h"
#include "xsb_debug.h"
#include <stdio.h>
#include "auxlry.h"
#include "cell_xsb.h"
#include "register.h"
#include "psc_xsb.h"
#include "tries.h"
#include "macro_xsb.h"
#include "context.h"
#include "scc_xsb.h"

Functions
static void	DFS_DGT_visit (ComplStackFrame u)
ComplStackFrame	DFS_DGT (CTXTdeclc ComplStackFrame leader)
void	find_independent_scc (ComplStackFrame u)

---

Function Documentation

ComplStackFrame DFS_DGT (  CTXTdeclc ComplStackFrame  leader  )

static void DFS_DGT_visit (  ComplStackFrame  u  )  [static]

void find_independent_scc (  ComplStackFrame  u  )

---