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

Class ConceptDataMaxCardinality

java.lang.Object

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

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

All Implemented Interfaces:

Serializable, ConceptDataCardinalityExpression, ConceptDataRoleExpression, ConceptDataRVExpression, ConceptExpression, DataExpressionArg<DataExpression>, DataRoleArg, Entity, Expression, NumberArg, HasName

@PortedFrom(file="tDLExpression.h",
            name="TDLConceptDataMaxCardinality")
public class ConceptDataMaxCardinality
extends AbstractConceptDataCardinality

data max cardinality

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ConceptDataMaxCardinality(int n, DataRoleExpression R, DataExpression E)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(DLExpressionVisitor visitor) accept method for the visitor pattern
<O> O	accept(DLExpressionVisitorEx<O> visitor)

Methods inherited from class uk.ac.manchester.cs.jfact.kernel.dl.AbstractConceptDataCardinality

getCardinality, getDataRoleExpression, getExpr, getName, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

ConceptDataMaxCardinality

public ConceptDataMaxCardinality(int n,
                         DataRoleExpression R,
                         DataExpression E)

Parameters:

n - n

R - R

E - E

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

Parameters:

visitor - visitor

accept

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

Type Parameters:

O - visitor type

Parameters:

visitor - visitor

Returns:

visitor value