public enum Entailment extends Enum<Entailment>
Modifier and Type | Method and Description |
---|---|
static Entailment |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static Entailment[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final Entailment SIMPLE
public static final Entailment RDF
public static final Entailment RDFS
public static final Entailment PD
public static final Entailment OWL2RL
public static Entailment[] values()
for (Entailment c : Entailment.values()) System.out.println(c);
public static Entailment valueOf(String name)
name
- the name of the enum constant to be returned.IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is null DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann