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>

An OWL minimum-cardinality restriction on an object property

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ObjectMinCardinality.Builder	A fluent builder for ObjectMinCardinality.

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
static ObjectMinCardinality.Builder	builder()	Creates a new fluent builder for ObjectMinCardinality.
int	compareTo(ObjectMinCardinality other)
boolean	equals(java.lang.Object other)
int	hashCode()
java.lang.String	toString()
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, 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

toString

public java.lang.String toString()

Overrides:

toString 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.

builder

public static ObjectMinCardinality.Builder builder()

Creates a new fluent builder for ObjectMinCardinality.