| _allocatedFormulas | Diades::Sdmdl::FormulaFactory | private |
| _assignments | Diades::Sdmdl::FormulaFactory | private |
| _context | Diades::Sdmdl::FormulaFactory | private |
| _indexesToVar | Diades::Sdmdl::FormulaFactory | private |
| _isFalse | Diades::Sdmdl::FormulaFactory | private |
| _isNull | Diades::Sdmdl::FormulaFactory | private |
| _isTrue | Diades::Sdmdl::FormulaFactory | private |
| _mgr | Diades::Sdmdl::FormulaFactory | private |
| _nocontext | Diades::Sdmdl::FormulaFactory | private |
| _positiveCube | Diades::Sdmdl::FormulaFactory | private |
| _rootCubeNode | Diades::Sdmdl::FormulaFactory | private |
| _variableOfLabel | Diades::Sdmdl::FormulaFactory | private |
| _varIndexes | Diades::Sdmdl::FormulaFactory | private |
| _varSet | Diades::Sdmdl::FormulaFactory | private |
| addVariables(const vector< unsigned > &indexes, VariableVector &variables) const | Diades::Sdmdl::FormulaFactory | |
| bddFormulaToDot(DdNode *rootNode, const string &fileName) const | Diades::Sdmdl::FormulaFactory | |
| bddManager() | Diades::Sdmdl::FormulaFactory | inline |
| bddManager() const | Diades::Sdmdl::FormulaFactory | inline |
| context() const | Diades::Sdmdl::FormulaFactory | inline |
| createFormulaFromCube(const vector< int > &cube, const vector< BDD > &newVars) | Diades::Sdmdl::FormulaFactory | private |
| destroy() | Diades::Sdmdl::FormulaFactory | |
| encode(Variable &var, int &indexBDD) | Diades::Sdmdl::FormulaFactory | private |
| Exception typedef | Diades::Sdmdl::FormulaFactory | |
| extractAssignments(int *cube, const Variable &var, FormulaVector &assignments) const | Diades::Sdmdl::FormulaFactory | |
| extractValues(const int *cube, const Variable &var, ValueVector &values) const | Diades::Sdmdl::FormulaFactory | |
| Formula class | Diades::Sdmdl::FormulaFactory | friend |
| FormulaFactory() | Diades::Sdmdl::FormulaFactory | |
| FormulaFactory(const VariableVector &varSet) | Diades::Sdmdl::FormulaFactory | |
| getBDD(bool positive, BDD var) const | Diades::Sdmdl::FormulaFactory | |
| getModels(const Formula &formula, FormulaVector &models) | Diades::Sdmdl::FormulaFactory | |
| getPositiveCube(const Variable &var) const | Diades::Sdmdl::FormulaFactory | |
| getVariable(const string &name) | Diades::Sdmdl::FormulaFactory | |
| increment(vector< bool > &encoding) const | Diades::Sdmdl::FormulaFactory | |
| isFalse() const | Diades::Sdmdl::FormulaFactory | inline |
| isTrue() const | Diades::Sdmdl::FormulaFactory | inline |
| newAndFormula(const Formula &f1, const Formula &f2) | Diades::Sdmdl::FormulaFactory | |
| newFormula(const Variable &variable, const Value &value) const | Diades::Sdmdl::FormulaFactory | |
| newFormula(int *cube) | Diades::Sdmdl::FormulaFactory | |
| newFormula(const BDD &bdd) | Diades::Sdmdl::FormulaFactory | private |
| newNotFormula(const Formula &f) | Diades::Sdmdl::FormulaFactory | |
| newOrFormula(const Formula &f1, const Formula &f2) | Diades::Sdmdl::FormulaFactory | |
| newSwapFormula(const Formula &f, const VariableVector &var, const VariableVector &newVar) | Diades::Sdmdl::FormulaFactory | |
| noContext() const | Diades::Sdmdl::FormulaFactory | inline |
| nullFactory | Diades::Sdmdl::FormulaFactory | static |
| nullFormula() const | Diades::Sdmdl::FormulaFactory | inline |
| nullValue() const | Diades::Sdmdl::FormulaFactory | inline |
| operator==(const FormulaFactory &factory) const | Diades::Sdmdl::FormulaFactory | inline |
| pickupModel(const Formula &formula, FormulaBox &model) | Diades::Sdmdl::FormulaFactory | |
| pickupModel(const Formula &formula, ValueVector &values) | Diades::Sdmdl::FormulaFactory | |
| printInfoFactory() const | Diades::Sdmdl::FormulaFactory | |
| reset(const VariableVector &varSet) | Diades::Sdmdl::FormulaFactory | |
| searchAssignments(const int *cube, const Variable &var, list< CubeNode::Pointer > &leaves) const | Diades::Sdmdl::FormulaFactory | private |
| typeName() | Diades::Sdmdl::FormulaFactory | inlinestatic |
| valid() const | Diades::Sdmdl::FormulaFactory | inline |
| variables() const | Diades::Sdmdl::FormulaFactory | inline |
| ~FormulaFactory() | Diades::Sdmdl::FormulaFactory | |
