Package hydra.ext.org.w3.owl.syntax

Class DisjointClasses

java.lang.Object

hydra.ext.org.w3.owl.syntax.DisjointClasses

All Implemented Interfaces:

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

public class DisjointClasses
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<DisjointClasses>

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
ConsList<Annotation>	annotations
static Name	ANNOTATIONS
ConsList<ClassExpression>	classes
static Name	CLASSES
static Name	TYPE_

Constructor Summary

Constructors

Constructor	Description
DisjointClasses(ConsList<Annotation> annotations, ConsList<ClassExpression> classes)

Method Summary

Modifier and Type	Method	Description
int	compareTo(DisjointClasses other)
boolean	equals(java.lang.Object other)
int	hashCode()
DisjointClasses	withAnnotations(ConsList<Annotation> annotations)
DisjointClasses	withClasses(ConsList<ClassExpression> classes)

Methods inherited from class java.lang.Object

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

Field Detail

TYPE_

public static final Name TYPE_

ANNOTATIONS

public static final Name ANNOTATIONS

CLASSES

public static final Name CLASSES

annotations

public final ConsList<Annotation> annotations

classes

public final ConsList<ClassExpression> classes

Constructor Detail

DisjointClasses

public DisjointClasses(ConsList<Annotation> annotations,
                       ConsList<ClassExpression> classes)

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(DisjointClasses other)

Specified by:

compareTo in interface java.lang.Comparable<DisjointClasses>

withAnnotations

public DisjointClasses withAnnotations(ConsList<Annotation> annotations)

withClasses

public DisjointClasses withClasses(ConsList<ClassExpression> classes)