Public Member Functions | Package Attributes

de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlElementConfigurationStates Class Reference

List of all members.

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< BddConfigurationStatusgetStatusOfAllConfigurations ()

Package Attributes

IAXLangElement theAxlElement
ArrayList< BddConfigurationStatustheConfigurations

Constructor & Destructor Documentation

de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlElementConfigurationStates.AxlElementConfigurationStates (  ) 
de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlElementConfigurationStates.AxlElementConfigurationStates ( IAXLangElement  element  ) 

Member Function Documentation

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.

Parameters:
that another AxlMetricsData_Component
Returns:
result of comparison
Return values:
<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 (  ) 

Member Data Documentation