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

Class ObjectExactCardinality

java.lang.Object

hydra.ext.org.w3.owl.syntax.ObjectExactCardinality

All Implemented Interfaces:

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

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

See https://www.w3.org/TR/owl2-syntax/#Exact_Cardinality

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
java.math.BigInteger	bound
static Name	BOUND
static Name	CLASS
ConsList<ClassExpression>	class_
ObjectPropertyExpression	property
static Name	PROPERTY
static Name	TYPE_

Constructor Summary

Constructors

Constructor	Description
ObjectExactCardinality(java.math.BigInteger bound, ObjectPropertyExpression property, ConsList<ClassExpression> class_)

Method Summary

Modifier and Type	Method	Description
int	compareTo(ObjectExactCardinality other)
boolean	equals(java.lang.Object other)
int	hashCode()
ObjectExactCardinality	withBound(java.math.BigInteger bound)
ObjectExactCardinality	withClass(ConsList<ClassExpression> class_)
ObjectExactCardinality	withProperty(ObjectPropertyExpression property)

Methods inherited from class java.lang.Object

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

Field Detail

TYPE_

public static final Name TYPE_

BOUND

public static final Name BOUND

PROPERTY

public static final Name PROPERTY

CLASS

public static final Name CLASS

bound

public final java.math.BigInteger bound

property

public final ObjectPropertyExpression property

class_

public final ConsList<ClassExpression> class_

Constructor Detail

ObjectExactCardinality

public ObjectExactCardinality(java.math.BigInteger bound,
                              ObjectPropertyExpression property,
                              ConsList<ClassExpression> class_)

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

Specified by:

compareTo in interface java.lang.Comparable<ObjectExactCardinality>

withBound

public ObjectExactCardinality withBound(java.math.BigInteger bound)

withProperty

public ObjectExactCardinality withProperty(ObjectPropertyExpression property)

withClass

public ObjectExactCardinality withClass(ConsList<ClassExpression> class_)