This framework considers plugins as a first order element on its designs. A plugin consists on three main modules:
Metamodel classes: This module encapsulates all the needed classes to support the plugin’s functionality. For example, in an OVM-metamodel, it would store the information about the VPs and variants. Also, in a CSP plugin, it will host the classes required to execute the CSP solver.
Operations: This module is where the operations using the elements in the metamodel are implemented. Each operation returns a set of metrics or information after being called. For example, a CSP plugin could provide an operation to check whether an attributed feature model is valid or not.
Transformations: This is where the transformations between models are defined. This module supports three model transformations flavors.
The core component is the main entry point of Flama Description The core component of this frame...
The feature model plugin provides the metaclases required to work with feature models Descriptio...
The pysat model plugin provides the metaclases required to work with SAT models and to transform...
The BDD model plugin provides the metaclases required to work with SAT models and to transform f...
The BDD model plugin provides the metaclases required to work with colosal feature models and tr...