Enum ProboProblem

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Comparable<ProboProblem>, java.lang.constant.Constable

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