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

List of all members.

Public Member Functions
	AxlVariabilitySolverResultData ()
	Constructor.
	AxlVariabilitySolverResultData (IAXLangElement axlElement)
	Constructor.
Collection< IAXLangElement >	getAffectedElementCollection ()
Collection< IAXLangElement >	getAffectedElementCollectionExtended ()
AxlFormulaCollection	getAffectedFormulaCollection ()
IAXLangElement	getAxlElement ()
TreeMap< IAXLangElement, AxlElementConfigurationStates >	getAxlElementsConfigurationStates ()
	get the valid configurations
CheckKind	getCheckKind ()
Configuration	getConfiguration ()
StringBuilder	getDfgStringBuilder ()
	get the DFG StringBuilder for SPASS
String	getInformation ()
double	getNodeCount ()
int	getNumberOfConfigurations ()
double	getSatCount ()
SolverKind	getSolverInformation ()
	get the solver information
SpassAnswer	getSpassAnswer ()
	get the SPASS Answer
Collection< TreeMap < IAXLangElement, BddConfigurationStatus > >	getValidConfigurations ()
	get the valid configurations
int	getVarCount ()
boolean	isConsistent ()
void	setAffectedElementCollection (Collection< IAXLangElement > affectedElementCollection)
void	setAffectedElementCollectionExtended (Collection< IAXLangElement > affectedElementCollectionExtended)
void	setAffectedFormulaCollection (AxlFormulaCollection affectedFormulaCollection)
void	setAxlElement (IAXLangElement axlElement)
void	setAxlElementsConfigurationStates (TreeMap< IAXLangElement, AxlElementConfigurationStates > configStates)
void	setCheckKind (CheckKind checkKind)
void	setConfiguration (Configuration configuration)
void	setDfgStringBuilder (StringBuilder dfg)
void	setInformation (String info)
void	setIsConsistent (boolean isConsistent)
void	setNodeCount (double nodeCount)
void	setNumberOfConfigurations (int numberOfConfigurations)
void	setSatCount (double satCount)
void	setSolverInformation (SolverKind solver)
void	setSpassAnswer (SpassAnswer answer)
void	setValidConfigurations (Collection< TreeMap< IAXLangElement, BddConfigurationStatus >> configurations)
void	setVarCount (int varCount)
Protected Member Functions
void	clear ()
Package Attributes
IAXLangElement	theAxlElement
CheckKind	theCheckKind
Configuration	theConfiguration
StringBuilder	theDfgStringBuilder
String	theInformation
Collection< IAXLangElement >	theResultAffectedElementCollection = null
Collection< IAXLangElement >	theResultAffectedElementCollectionExtended = null
AxlFormulaCollection	theResultAffectedFormulaCollection = null
boolean	theResultIsConsistent
double	theResultNodeCount
int	theResultNumberOfConfigurations
double	theResultSatCount
SpassAnswer	theResultSpassAnswer
String	theResultSpassOutput
Collection< TreeMap < IAXLangElement, BddConfigurationStatus > >	theResultValidConfigurationsCollection
TreeMap< IAXLangElement, AxlElementConfigurationStates >	theResultValidConfigurationsElementStates
int	theResultVarCount
SolverKind	theSolver

---

Constructor & Destructor Documentation

de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.AxlVariabilitySolverResultData

(

)

Constructor.

de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.AxlVariabilitySolverResultData

(

IAXLangElement

axlElement

)

Constructor.

---

Member Function Documentation

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.clear

(

)

[protected]

Collection<IAXLangElement> de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.getAffectedElementCollection

(

)

Collection<IAXLangElement> de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.getAffectedElementCollectionExtended

(

)

AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.getAffectedFormulaCollection

(

)

IAXLangElement de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.getAxlElement

(

)

Implements de.fraunhofer.isst.axbench.operations.checker.solver.utilities.IAxlMetricsResultData.

TreeMap<IAXLangElement, AxlElementConfigurationStates> de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.getAxlElementsConfigurationStates

(

)

get the valid configurations

Returns:

collection; null if still not computed

CheckKind de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.getCheckKind

(

)

Configuration de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.getConfiguration

(

)

StringBuilder de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.getDfgStringBuilder

(

)

get the DFG StringBuilder for SPASS

Returns:

null if still not computed

String de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.getInformation

(

)

double de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.getNodeCount

(

)

int de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.getNumberOfConfigurations

(

)

double de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.getSatCount

(

)

SolverKind de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.getSolverInformation

(

)

get the solver information

Returns:

null if still not computed

SpassAnswer de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.getSpassAnswer

(

)

get the SPASS Answer

Returns:

null if still not computed

Collection<TreeMap<IAXLangElement, BddConfigurationStatus> > de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.getValidConfigurations

(

)

get the valid configurations

Returns:

collection; null if still not computed

int de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.getVarCount

(

)

boolean de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.isConsistent

(

)

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.setAffectedElementCollection

(

Collection< IAXLangElement >

affectedElementCollection

)

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.setAffectedElementCollectionExtended

(

Collection< IAXLangElement >

affectedElementCollectionExtended

)

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.setAffectedFormulaCollection

(

AxlFormulaCollection

affectedFormulaCollection

)

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.setAxlElement

(

IAXLangElement

axlElement

)

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.setAxlElementsConfigurationStates

(

TreeMap< IAXLangElement, AxlElementConfigurationStates >

configStates

)

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.setCheckKind

(

CheckKind

checkKind

)

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.setConfiguration

(

Configuration

configuration

)

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.setDfgStringBuilder

(

StringBuilder

dfg

)

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.setInformation

(

String

info

)

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.setIsConsistent

(

boolean

isConsistent

)

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.setNodeCount

(

double

nodeCount

)

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.setNumberOfConfigurations

(

int

numberOfConfigurations

)

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.setSatCount

(

double

satCount

)

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.setSolverInformation

(

SolverKind

solver

)

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.setSpassAnswer

(

SpassAnswer

answer

)

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.setValidConfigurations

(

Collection< TreeMap< IAXLangElement, BddConfigurationStatus >>

configurations

)

void de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.setVarCount

(

int

varCount

)

---

Member Data Documentation

IAXLangElement de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.theAxlElement [package]

CheckKind de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.theCheckKind [package]

Configuration de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.theConfiguration [package]

StringBuilder de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.theDfgStringBuilder [package]

String de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.theInformation [package]

Collection<IAXLangElement> de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.theResultAffectedElementCollection = null [package]

Collection<IAXLangElement> de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.theResultAffectedElementCollectionExtended = null [package]

AxlFormulaCollection de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.theResultAffectedFormulaCollection = null [package]

boolean de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.theResultIsConsistent [package]

double de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.theResultNodeCount [package]

int de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.theResultNumberOfConfigurations [package]

double de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.theResultSatCount [package]

SpassAnswer de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.theResultSpassAnswer [package]

String de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.theResultSpassOutput [package]

Collection<TreeMap<IAXLangElement,BddConfigurationStatus> > de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.theResultValidConfigurationsCollection [package]

TreeMap<IAXLangElement,AxlElementConfigurationStates> de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.theResultValidConfigurationsElementStates [package]

int de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.theResultVarCount [package]

SolverKind de.fraunhofer.isst.axbench.operations.checker.solver.utilities.AxlVariabilitySolverResultData.theSolver [package]