metaSMT 2
Public Member Functions
metaSMT::solver::CUDD_Distributed Class Reference

#include <CUDD_Distributed.hpp>

Inheritance diagram for metaSMT::solver::CUDD_Distributed:
metaSMT::solver::CUDD_Context

List of all members.

Public Member Functions

 CUDD_Distributed ()
bool solve ()

Detailed Description

Definition at line 11 of file CUDD_Distributed.hpp.


Constructor & Destructor Documentation

metaSMT::solver::CUDD_Distributed::CUDD_Distributed ( ) [inline]

Definition at line 16 of file CUDD_Distributed.hpp.


Member Function Documentation

bool metaSMT::solver::CUDD_Distributed::solve ( ) [inline]

Reimplemented from metaSMT::solver::CUDD_Context.

Definition at line 20 of file CUDD_Distributed.hpp.


The documentation for this class was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines