Package hydra.owl.syntax

Class ObjectPropertyAxiom.IrreflexiveObjectProperty

java.lang.Object

hydra.owl.syntax.ObjectPropertyAxiom

hydra.owl.syntax.ObjectPropertyAxiom.IrreflexiveObjectProperty

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<ObjectPropertyAxiom>

Enclosing class:

ObjectPropertyAxiom

public static final class ObjectPropertyAxiom.IrreflexiveObjectProperty
extends ObjectPropertyAxiom
implements java.io.Serializable

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class hydra.owl.syntax.ObjectPropertyAxiom

ObjectPropertyAxiom.AsymmetricObjectProperty, ObjectPropertyAxiom.DisjointObjectProperties, ObjectPropertyAxiom.EquivalentObjectProperties, ObjectPropertyAxiom.FunctionalObjectProperty, ObjectPropertyAxiom.InverseFunctionalObjectProperty, ObjectPropertyAxiom.InverseObjectProperties, ObjectPropertyAxiom.IrreflexiveObjectProperty, ObjectPropertyAxiom.ObjectPropertyDomain, ObjectPropertyAxiom.ObjectPropertyRange, ObjectPropertyAxiom.PartialVisitor<R>, ObjectPropertyAxiom.ReflexiveObjectProperty, ObjectPropertyAxiom.SubObjectPropertyOf, ObjectPropertyAxiom.SymmetricObjectProperty, ObjectPropertyAxiom.TransitiveObjectProperty, ObjectPropertyAxiom.Visitor<R>

Field Summary

Fields

Modifier and Type	Field	Description
IrreflexiveObjectProperty	value

Fields inherited from class hydra.owl.syntax.ObjectPropertyAxiom

ASYMMETRIC_OBJECT_PROPERTY, DISJOINT_OBJECT_PROPERTIES, EQUIVALENT_OBJECT_PROPERTIES, FUNCTIONAL_OBJECT_PROPERTY, INVERSE_FUNCTIONAL_OBJECT_PROPERTY, INVERSE_OBJECT_PROPERTIES, IRREFLEXIVE_OBJECT_PROPERTY, OBJECT_PROPERTY_DOMAIN, OBJECT_PROPERTY_RANGE, REFLEXIVE_OBJECT_PROPERTY, SUB_OBJECT_PROPERTY_OF, SYMMETRIC_OBJECT_PROPERTY, TRANSITIVE_OBJECT_PROPERTY, TYPE_

Constructor Summary

Constructors

Constructor	Description
IrreflexiveObjectProperty(IrreflexiveObjectProperty value)	Constructs an immutable ObjectPropertyAxiom.IrreflexiveObjectProperty.

Method Summary

Modifier and Type	Method	Description
<R> R	accept(ObjectPropertyAxiom.Visitor<R> visitor)	Dispatch to visitor.
int	compareTo(ObjectPropertyAxiom other)
boolean	equals(java.lang.Object other)
int	hashCode()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

value

public final IrreflexiveObjectProperty value

Constructor Detail

IrreflexiveObjectProperty

public IrreflexiveObjectProperty(IrreflexiveObjectProperty value)

Constructs an immutable ObjectPropertyAxiom.IrreflexiveObjectProperty.

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

compareTo

public int compareTo(ObjectPropertyAxiom other)

Specified by:

compareTo in interface java.lang.Comparable<ObjectPropertyAxiom>

accept

public <R> R accept(ObjectPropertyAxiom.Visitor<R> visitor)

Dispatch to visitor.

Specified by:

accept in class ObjectPropertyAxiom