uk.ac.manchester.cs.jfact.kernel.dl

Class ConceptObjectExactCardinality

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.dl.ConceptObjectExactCardinality

All Implemented Interfaces:

Serializable, org.semanticweb.owlapi.model.HasIRI, ConceptArg, ConceptExpression, ConceptObjectCardinalityExpression, ConceptObjectRCExpression, ConceptObjectRoleExpression, Entity, Expression, NumberArg, ObjectRoleArg

@PortedFrom(file="tDLExpression.h",
            name="TDLConceptObjectExactCardinality")
public class ConceptObjectExactCardinality
extends Object
implements ConceptObjectCardinalityExpression, NumberArg, Serializable

object exact cardinality

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ConceptObjectExactCardinality(int n, ObjectRoleExpression r, ConceptExpression c)

Method Summary

Modifier and Type	Method and Description
void	accept(DLExpressionVisitor visitor) accept method for the visitor pattern
<O> O	accept(DLExpressionVisitorEx<O> visitor)
int	getCardinality()
ConceptExpression	getConcept()
org.semanticweb.owlapi.model.IRI	getIRI()
ObjectRoleExpression	getOR()
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ConceptObjectExactCardinality

public ConceptObjectExactCardinality(int n,
                                     ObjectRoleExpression r,
                                     ConceptExpression c)

Parameters:

n - n

r - R

c - C

Method Detail

accept

@PortedFrom(file="tDLExpression.h",
            name="accept")
public void accept(DLExpressionVisitor visitor)

Description copied from interface: Expression

accept method for the visitor pattern

Specified by:

accept in interface ConceptExpression

Specified by:

accept in interface ConceptObjectCardinalityExpression

Specified by:

accept in interface ConceptObjectRCExpression

Specified by:

accept in interface ConceptObjectRoleExpression

Specified by:

accept in interface Expression

Parameters:

visitor - visitor

accept

@PortedFrom(file="tDLExpression.h",
            name="accept")
public <O> O accept(DLExpressionVisitorEx<O> visitor)

Specified by:

accept in interface Expression

Type Parameters:

O - visitor type

Parameters:

visitor - visitor

Returns:

visitor value

getCardinality

@PortedFrom(file="tDLExpression.h",
            name="getNumber")
public int getCardinality()

Specified by:

getCardinality in interface NumberArg

Returns:

cardinality

getConcept

@PortedFrom(file="tDLExpression.h",
            name="getC")
public ConceptExpression getConcept()

Specified by:

getConcept in interface ConceptArg

Returns:

access to the argument

getOR

@PortedFrom(file="tDLExpression.h",
            name="getOR")
public ObjectRoleExpression getOR()

Specified by:

getOR in interface ObjectRoleArg

Returns:

object role

toString

@Nonnull
public String toString()

Overrides:

toString in class Object

getIRI

public org.semanticweb.owlapi.model.IRI getIRI()

Specified by:

getIRI in interface org.semanticweb.owlapi.model.HasIRI

Specified by:

getIRI in interface Expression