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:

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

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ConceptDataMaxCardinality

public ConceptDataMaxCardinality(int n,
                         DataRoleExpression R,
                         DataExpression 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

accept

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