Package net.ssehub.easy.reasoning.core.reasoner

Enum ReasoningOperation

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Comparable<ReasoningOperation>
    public enum ReasoningOperation
extends java.lang.Enum<ReasoningOperation>
    Specifies which kind of reasoning should be performed by the reasoner.
    Author:
    El-Sharkawy, Sizonenko

    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description
      CONSITENCY_CHECK
      Checks whether the de.uni_hildesheim.sse.model.varModel.Project is satisfiable.
      PROPAGATION
      Performs as VALIDATION and propagates values (only for variables which are in state ReasoningState#UNASSIGNED or ReasoningState#DEFAULT_DIFFERENT.
      VALIDATION
      Checks whether the de.uni_hildesheim.sse.model.confModel.Configuration is valid, i.e.

    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      private ReasoningOperation()  

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static ReasoningOperation valueOf​(java.lang.String name)
      Returns the enum constant of this type with the specified name.
      static ReasoningOperation[] values()
      Returns an array containing the constants of this enum type, in the order they are declared.

      • Methods inherited from class java.lang.Enum

        clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

      • Methods inherited from class java.lang.Object

        getClass, notify, notifyAll, wait, wait, wait

    • Enum Constant Detail

      • CONSITENCY_CHECK

        public static final ReasoningOperation CONSITENCY_CHECK
        Checks whether the de.uni_hildesheim.sse.model.varModel.Project is satisfiable.

      • VALIDATION

        public static final ReasoningOperation VALIDATION
        Checks whether the de.uni_hildesheim.sse.model.confModel.Configuration is valid, i.e. all constraints are satisfied.

      • PROPAGATION

        public static final ReasoningOperation PROPAGATION
        Performs as VALIDATION and propagates values (only for variables which are in state ReasoningState#UNASSIGNED or ReasoningState#DEFAULT_DIFFERENT.

    • Constructor Detail

      • ReasoningOperation

        private ReasoningOperation()

    • Method Detail

      • values

        public static ReasoningOperation[] values()
        Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows: 
        for (ReasoningOperation c : ReasoningOperation.values())
    System.out.println(c);
        Returns:
        an array containing the constants of this enum type, in the order they are declared

      • valueOf

        public static ReasoningOperation valueOf​(java.lang.String name)
        Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
        Parameters:
        name - the name of the enum constant to be returned.
        Returns:
        the enum constant with the specified name
        Throws:
        java.lang.IllegalArgumentException - if this enum type has no constant with the specified name
        java.lang.NullPointerException - if the argument is null