Package net.ssehub.easy.reasoning.sseReasoner.functions

Class FailedElements

java.lang.Object
net.ssehub.easy.reasoning.sseReasoner.functions.FailedElements
public class FailedElements extends Object
Stores violated elements detected during a reasoning process.
Author:
El-Sharkawy, Sizonenko

  • Field Details

    • problemConstraints

      private Map<net.ssehub.easy.varModel.model.Constraint,FailedElementDetails> problemConstraints
      Map of failed Constraints and FailedElementDetailss that might cause the problem.

    • problemMessages

      private Map<net.ssehub.easy.varModel.model.Constraint,List<net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor.Message>> problemMessages
      Assigns constraints to their messages so that messages can be cleared if a constraint succeeds after initially failing.

    • problemVariables

      private Map<net.ssehub.easy.varModel.model.AbstractVariable,FailedElementDetails> problemVariables
      Map of failed AbstractVariables and FailedElementDetailss behind it.

    • messages

      private List<net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor.Message> messages
      Other, unresolved messages.

  • Constructor Details

    • 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 Details

    • 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.model.Constraint constraint, net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor.Message message)
      Adds a message for a constraint.
      Parameters:
      constraint - the constraint causing the message
      message - the message.

    • removeProblemConstraints

      public void removeProblemConstraints(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 Iterator<net.ssehub.easy.varModel.model.Constraint> getProblemConstraints()
      Returns a Iterator - problem Constraints.
      Returns:
      The failed constraints.

    • getProblemConstraintMap

      public 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 Iterator<net.ssehub.easy.varModel.model.AbstractVariable> getProblemVariables()
      Returns a Iterator - problem AbstractVariables.
      Returns:
      Problem variables.

    • getMessages

      public Iterator<net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor.Message> getMessages()
      Returns the messages.
      Returns:
      the messages

    • getProblemVariableMap

      public 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.