Package hydra.owl.syntax
Class DataPropertyAxiom.FunctionalDataProperty
- java.lang.Object
-
- hydra.owl.syntax.DataPropertyAxiom
-
- hydra.owl.syntax.DataPropertyAxiom.FunctionalDataProperty
-
- All Implemented Interfaces:
java.io.Serializable,java.lang.Comparable<DataPropertyAxiom>
- Enclosing class:
- DataPropertyAxiom
public static final class DataPropertyAxiom.FunctionalDataProperty extends DataPropertyAxiom implements java.io.Serializable
- See Also:
- Serialized Form
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class hydra.owl.syntax.DataPropertyAxiom
DataPropertyAxiom.DataPropertyAxiom_, DataPropertyAxiom.DataPropertyRange, DataPropertyAxiom.DisjointDataProperties, DataPropertyAxiom.EquivalentDataProperties, DataPropertyAxiom.FunctionalDataProperty, DataPropertyAxiom.PartialVisitor<R>, DataPropertyAxiom.SubDataPropertyOf, DataPropertyAxiom.Visitor<R>
-
-
Field Summary
Fields Modifier and Type Field Description FunctionalDataPropertyvalue-
Fields inherited from class hydra.owl.syntax.DataPropertyAxiom
DATA_PROPERTY_AXIOM, DATA_PROPERTY_RANGE, DISJOINT_DATA_PROPERTIES, EQUIVALENT_DATA_PROPERTIES, FUNCTIONAL_DATA_PROPERTY, SUB_DATA_PROPERTY_OF, TYPE_
-
-
Constructor Summary
Constructors Constructor Description FunctionalDataProperty(FunctionalDataProperty value)Constructs an immutableDataPropertyAxiom.FunctionalDataProperty.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <R> Raccept(DataPropertyAxiom.Visitor<R> visitor)Dispatch tovisitor.intcompareTo(DataPropertyAxiom other)booleanequals(java.lang.Object other)inthashCode()
-
-
-
Field Detail
-
value
public final FunctionalDataProperty value
-
-
Constructor Detail
-
FunctionalDataProperty
public FunctionalDataProperty(FunctionalDataProperty value)
Constructs an immutableDataPropertyAxiom.FunctionalDataProperty.
-
-
Method Detail
-
equals
public boolean equals(java.lang.Object other)
- Overrides:
equalsin classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
compareTo
public int compareTo(DataPropertyAxiom other)
- Specified by:
compareToin interfacejava.lang.Comparable<DataPropertyAxiom>
-
accept
public <R> R accept(DataPropertyAxiom.Visitor<R> visitor)
Dispatch tovisitor.- Specified by:
acceptin classDataPropertyAxiom
-
-