Package hydra.owl.syntax

Class ObjectMinCardinality

java.lang.Object

hydra.owl.syntax.ObjectMinCardinality

All Implemented Interfaces:

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

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

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

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
java.math.BigInteger	bound
static Name	BOUND	Name of the hydra.owl.syntax.ObjectMinCardinality.bound field.
static Name	CLASS	Name of the hydra.owl.syntax.ObjectMinCardinality.class field.
java.util.List<ClassExpression>	class_
ObjectPropertyExpression	property
static Name	PROPERTY	Name of the hydra.owl.syntax.ObjectMinCardinality.property field.
static Name	TYPE_	Name of the hydra.owl.syntax.ObjectMinCardinality type.

Constructor Summary

Constructors

Constructor	Description
ObjectMinCardinality(java.math.BigInteger bound, ObjectPropertyExpression property, java.util.List<ClassExpression> class_)	Constructs an immutable ObjectMinCardinality.

Method Summary

Modifier and Type	Method	Description
int	compareTo(ObjectMinCardinality other)
boolean	equals(java.lang.Object other)
int	hashCode()
ObjectMinCardinality	withBound(java.math.BigInteger bound)	Returns a copy of this ObjectMinCardinality with bound replaced.
ObjectMinCardinality	withClass(java.util.List<ClassExpression> class_)	Returns a copy of this ObjectMinCardinality with class replaced.
ObjectMinCardinality	withProperty(ObjectPropertyExpression property)	Returns a copy of this ObjectMinCardinality with property replaced.

Methods inherited from class java.lang.Object

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

Field Detail

TYPE_

public static final Name TYPE_

Name of the hydra.owl.syntax.ObjectMinCardinality type.

BOUND

public static final Name BOUND

Name of the hydra.owl.syntax.ObjectMinCardinality.bound field.

PROPERTY

public static final Name PROPERTY

Name of the hydra.owl.syntax.ObjectMinCardinality.property field.

CLASS

public static final Name CLASS

Name of the hydra.owl.syntax.ObjectMinCardinality.class field.

bound

public final java.math.BigInteger bound

property

public final ObjectPropertyExpression property

class_

public final java.util.List<ClassExpression> class_

Constructor Detail

ObjectMinCardinality

public ObjectMinCardinality(java.math.BigInteger bound,
                            ObjectPropertyExpression property,
                            java.util.List<ClassExpression> class_)

Constructs an immutable ObjectMinCardinality.

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

Specified by:

compareTo in interface java.lang.Comparable<ObjectMinCardinality>

withBound

public ObjectMinCardinality withBound(java.math.BigInteger bound)

Returns a copy of this ObjectMinCardinality with bound replaced.

withProperty

public ObjectMinCardinality withProperty(ObjectPropertyExpression property)

Returns a copy of this ObjectMinCardinality with property replaced.

withClass

public ObjectMinCardinality withClass(java.util.List<ClassExpression> class_)

Returns a copy of this ObjectMinCardinality with class replaced.