Enum ProboProblem

java.lang.Object
java.lang.Enum<ProboProblem>
org.tweetyproject.arg.dung.reasoner.ProboProblem
All Implemented Interfaces:
Serializable, Comparable<ProboProblem>, Constable

public enum ProboProblem extends Enum<ProboProblem>
This enum contains all supported problems for probo-based reasoner.
Author:
Matthias Thimm
  • Enum Constant Details

  • Method Details

    • values

      public static ProboProblem[] values()
      Returns an array containing the constants of this enum type, in the order they are declared.
      Returns:
      an array containing the constants of this enum type, in the order they are declared
    • valueOf

      public static ProboProblem valueOf(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:
      IllegalArgumentException - if this enum type has no constant with the specified name
      NullPointerException - if the argument is null
    • subProblem

      public ProboProblem.SubProblem subProblem()
      Returns the sub-problem of the problem.
      Returns:
      the sub-problem of the problem.
    • semantics

      public Semantics semantics()
      Returns the semantics of the problem.
      Returns:
      the semantics of the problem.
    • toString

      public String toString()
      Overrides:
      toString in class Enum<ProboProblem>
    • getProblem

      public static ProboProblem getProblem(String s)
      Returns the problem instance that corresponds to the given abbreviation.
      Parameters:
      s - some string representing a problem instance
      Returns:
      the actual problem
    • getProblems

      public static Collection<ProboProblem> getProblems(String s)
      Returns a collection of problems parsed from the given string which has to be in the format "[problem1,...,problemn]".
      Parameters:
      s - some string
      Returns:
      a collection of problems
    • isJustificationProblem

      public boolean isJustificationProblem()
      Returns:
      if problem is justified