net.ssehub.easy.reasoning.sseReasoner.functions

Class FailedElements

java.lang.Object

net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements

public class FailedElements
extends java.lang.Object

Part of the FailedRules. This class stores violated elements detected during a reasoning process.

Author:

El-Sharkawy, Sizonenko

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor.Message>	messages Other, unresolved messages.
private java.util.Map<net.ssehub.easy.varModel.model.Constraint,FailedElementDetails>	problemConstraints Map of failed Constraints and FailedElementDetailss that might cause the problem.
private java.util.Map<net.ssehub.easy.varModel.model.AbstractVariable,FailedElementDetails>	problemVariables Map of failed AbstractVariables and FailedElementDetailss behind it.

Constructor Summary

Constructors

Constructor and Description
FailedElements() Creates a new FailedElements instance, which can be used for exact one reasoning process.

Method Summary

Modifier and Type	Method and Description
void	addMessage(net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor.Message message)
void	addProblemConstraint(net.ssehub.easy.varModel.model.Constraint constraint, FailedElementDetails details) Method for adding failed constraints and associated details.
void	addProblemVariable(net.ssehub.easy.varModel.model.AbstractVariable variable, FailedElementDetails details) Method for adding failed variable and associated IDecisionVariable.
void	clear() Clears this instance.
java.util.Iterator<net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor.Message>	getMessages() Returns the messages.
java.util.Map<net.ssehub.easy.varModel.model.Constraint,FailedElementDetails>	getProblemConstraintMap() Returns a map of failed Constraints and associated FailedElementDetailss.
java.util.Iterator<net.ssehub.easy.varModel.model.Constraint>	getProblemConstraints() Returns a Iterator - problem Constraints.
java.util.Map<net.ssehub.easy.varModel.model.AbstractVariable,FailedElementDetails>	getProblemVariableMap() Returns a map of problem AbstractVariables and associated FailedElementDetailss.
java.util.Iterator<net.ssehub.easy.varModel.model.AbstractVariable>	getProblemVariables() Returns a Iterator - problem AbstractVariables.
boolean	hasProblems() Returns whether constraint violations or variable assignment were detected during the related reasoning process.
int	problemConstraintCount() Returns the number of problem constraints.
int	problemCount() Returns the total number of failed elements ( Constraint and AbstractVariable ).
int	problemVariabletCount() Returns the number of problem variables.
void	removeProblemConstraint(net.ssehub.easy.varModel.model.Constraint constraint) Removes a problem point through its constraint.
void	removeProblemConstraints(java.util.List<net.ssehub.easy.varModel.model.Constraint> constraints) Removes problem points through several constraint.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

problemConstraints

private java.util.Map<net.ssehub.easy.varModel.model.Constraint,FailedElementDetails> problemConstraints

Map of failed Constraints and FailedElementDetailss that might cause the problem.

problemVariables

private java.util.Map<net.ssehub.easy.varModel.model.AbstractVariable,FailedElementDetails> problemVariables

Map of failed AbstractVariables and FailedElementDetailss behind it.

messages

private java.util.List<net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor.Message> messages

Other, unresolved messages.

Constructor Detail

FailedElements

public FailedElements()

Creates a new FailedElements instance, which can be used for exact one reasoning process. This constructor is only package visible, as it should only be used inside of the FailedElements class.

Method Detail

addProblemConstraint

public void addProblemConstraint(net.ssehub.easy.varModel.model.Constraint constraint,
                                 FailedElementDetails details)

Method for adding failed constraints and associated details.

Parameters:

constraint - Failed constraint.

details - Failed constraint details.

removeProblemConstraint

public void removeProblemConstraint(net.ssehub.easy.varModel.model.Constraint constraint)

Removes a problem point through its constraint.

Parameters:

constraint - Constraint to be declared valid/irrelevant for problems.

addMessage

public void addMessage(net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor.Message message)

removeProblemConstraints

public void removeProblemConstraints(java.util.List<net.ssehub.easy.varModel.model.Constraint> constraints)

Removes problem points through several constraint.

Parameters:

constraints - the constraints to be declared valid/irrelevant for problems.

addProblemVariable

public void addProblemVariable(net.ssehub.easy.varModel.model.AbstractVariable variable,
                               FailedElementDetails details)

Method for adding failed variable and associated IDecisionVariable.

Parameters:

variable - Failed variable.

details - Associated details.

hasProblems

public boolean hasProblems()

Returns whether constraint violations or variable assignment were detected during the related reasoning process.

Returns:

true if at least one errors was reported to this instance, false otherwise.

problemCount

public int problemCount()

Returns the total number of failed elements ( Constraint and AbstractVariable ).

Returns:

The number of failed elements, 0 if hasProblems() was false.

problemConstraintCount

public int problemConstraintCount()

Returns the number of problem constraints.

Returns:

the number of problem constraints.

problemVariabletCount

public int problemVariabletCount()

Returns the number of problem variables.

Returns:

the number of problem variables.

getProblemConstraints

public java.util.Iterator<net.ssehub.easy.varModel.model.Constraint> getProblemConstraints()

Returns a Iterator - problem Constraints.

Returns:

The failed constraints.

getProblemConstraintMap

public java.util.Map<net.ssehub.easy.varModel.model.Constraint,FailedElementDetails> getProblemConstraintMap()

Returns a map of failed Constraints and associated FailedElementDetailss.

Returns:

Map of problem constraints.

getProblemVariables

public java.util.Iterator<net.ssehub.easy.varModel.model.AbstractVariable> getProblemVariables()

Returns a Iterator - problem AbstractVariables.

Returns:

Problem variables.

getMessages

public java.util.Iterator<net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor.Message> getMessages()

Returns the messages.

Returns:

the messages

getProblemVariableMap

public java.util.Map<net.ssehub.easy.varModel.model.AbstractVariable,FailedElementDetails> getProblemVariableMap()

Returns a map of problem AbstractVariables and associated FailedElementDetailss.

Returns:

Map of problem variables.

clear

public void clear()

Clears this instance.