Public Member Functions | |
void | addConfiguration (BddConfigurationStatus status) |
IAXLangElement | axlElement () |
AxlElementConfigurationStates (IAXLangElement element) | |
AxlElementConfigurationStates () | |
int | compareTo (AxlElementConfigurationStates that) |
Define sorting order based on the order of IAXLangElement. | |
ArrayList< BddConfigurationStatus > | getStatusOfAllConfigurations () |
Package Attributes | |
IAXLangElement | theAxlElement |
ArrayList< BddConfigurationStatus > | theConfigurations |
de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlElementConfigurationStates.AxlElementConfigurationStates | ( | ) |
de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlElementConfigurationStates.AxlElementConfigurationStates | ( | IAXLangElement | element | ) |
void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlElementConfigurationStates.addConfiguration | ( | BddConfigurationStatus | status | ) |
IAXLangElement de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlElementConfigurationStates.axlElement | ( | ) |
int de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlElementConfigurationStates.compareTo | ( | AxlElementConfigurationStates | that | ) |
Define sorting order based on the order of IAXLangElement.
that | another AxlMetricsData_Component |
<0 | this element is less than the other | |
0 | this element equals the other | |
>0 | this element is greater than the other |
ArrayList<BddConfigurationStatus> de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlElementConfigurationStates.getStatusOfAllConfigurations | ( | ) |
IAXLangElement de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlElementConfigurationStates.theAxlElement [package] |