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

Class ConceptObjectMaxCardinality

java.lang.Object

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

All Implemented Interfaces:

ConceptArg, ConceptExpression, ConceptObjectCardinalityExpression, ConceptObjectRCExpression, ConceptObjectRoleExpression, Entity, Expression, NumberArg, ObjectRoleArg

@PortedFrom(file="tDLExpression.h",
            name="TDLConceptObjectMaxCardinality")
public class ConceptObjectMaxCardinality
extends Object
implements ConceptObjectCardinalityExpression, NumberArg

Constructor Summary

Constructors

Constructor and Description
ConceptObjectMaxCardinality(int n, ObjectRoleExpression R, ConceptExpression C)

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)
int	getCardinality() get access to the argument
ConceptExpression	getConcept() get access to the argument
ObjectRoleExpression	getOR() get access to the argument

Methods inherited from class java.lang.Object

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

Constructor Detail

ConceptObjectMaxCardinality

public ConceptObjectMaxCardinality(int n,
                           ObjectRoleExpression R,
                           ConceptExpression 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

accept

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

Specified by:

accept in interface Expression

getCardinality

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

Description copied from interface: NumberArg

get access to the argument

Specified by:

getCardinality in interface NumberArg

getConcept

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

Description copied from interface: ConceptArg

get access to the argument

Specified by:

getConcept in interface ConceptArg

getOR

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

Description copied from interface: ObjectRoleArg

get access to the argument

Specified by:

getOR in interface ObjectRoleArg