#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.]
