VIS

src/sat/satBDD.c File Reference

#include "satInt.h"
Include dependency graph for satBDD.c:

Go to the source code of this file.

Functions

void sat_TryToBuildMonolithicBDD (satManager_t *cm)

Variables

static char rcsid[] UNUSED = "$Id: satBDD.c,v 1.30 2009/04/11 18:26:37 fabio Exp $"

Function Documentation

void sat_TryToBuildMonolithicBDD ( satManager_t *  cm)

Function********************************************************************

Synopsis [Build monolithic BDD.]

Description [Try to build a monolithic BDD from the set of clauses. If it is succeeded then we can conclude whether given CNF is satisfiable of not.]

SideEffects []

SeeAlso []

Definition at line 1427 of file satBDD.c.

{
  fprintf(stderr, "Warning : This feature is only availabe with CUDD package\n");
  return;
}

Here is the caller graph for this function:


Variable Documentation

char rcsid [] UNUSED = "$Id: satBDD.c,v 1.30 2009/04/11 18:26:37 fabio Exp $" [static]

CFile***********************************************************************

FileName [satBDD.c]

PackageName [sat]

Synopsis [Routines for using BDD.]

Author [HoonSang Jin]

Copyright [ This file was created at the University of Colorado at Boulder. The University of Colorado at Boulder makes no warranty about the suitability of this software for any purpose. It is presented on an AS IS basis.]

Definition at line 24 of file satBDD.c.