Package hydra.owl.syntax
Class Assertion.DifferentIndividuals
- java.lang.Object
-
- hydra.owl.syntax.Assertion
-
- hydra.owl.syntax.Assertion.DifferentIndividuals
-
- All Implemented Interfaces:
java.io.Serializable,java.lang.Comparable<Assertion>
- Enclosing class:
- Assertion
public static final class Assertion.DifferentIndividuals extends Assertion implements java.io.Serializable
- See Also:
- Serialized Form
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class hydra.owl.syntax.Assertion
Assertion.ClassAssertion, Assertion.DataPropertyAssertion, Assertion.DifferentIndividuals, Assertion.NegativeDataPropertyAssertion, Assertion.NegativeObjectPropertyAssertion, Assertion.ObjectPropertyAssertion, Assertion.PartialVisitor<R>, Assertion.SameIndividual, Assertion.Visitor<R>
-
-
Field Summary
Fields Modifier and Type Field Description DifferentIndividualsvalue-
Fields inherited from class hydra.owl.syntax.Assertion
CLASS_ASSERTION, DATA_PROPERTY_ASSERTION, DIFFERENT_INDIVIDUALS, NEGATIVE_DATA_PROPERTY_ASSERTION, NEGATIVE_OBJECT_PROPERTY_ASSERTION, OBJECT_PROPERTY_ASSERTION, SAME_INDIVIDUAL, TYPE_
-
-
Constructor Summary
Constructors Constructor Description DifferentIndividuals(DifferentIndividuals value)Constructs an immutableAssertion.DifferentIndividuals.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <R> Raccept(Assertion.Visitor<R> visitor)Dispatch tovisitor.intcompareTo(Assertion other)booleanequals(java.lang.Object other)inthashCode()inthydraOrdinal()java.lang.StringtoString()
-
-
-
Field Detail
-
value
public final DifferentIndividuals value
-
-
Constructor Detail
-
DifferentIndividuals
public DifferentIndividuals(DifferentIndividuals value)
Constructs an immutableAssertion.DifferentIndividuals.
-
-
Method Detail
-
equals
public boolean equals(java.lang.Object other)
- Overrides:
equalsin classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
compareTo
public int compareTo(Assertion other)
- Specified by:
compareToin interfacejava.lang.Comparable<Assertion>
-
hydraOrdinal
public int hydraOrdinal()
- Specified by:
hydraOrdinalin classAssertion
-
accept
public <R> R accept(Assertion.Visitor<R> visitor)
Dispatch tovisitor.
-
-