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

Interface Expression

All Superinterfaces:

Entity, HasName

All Known Subinterfaces:

ConceptDataCardinalityExpression, ConceptDataRoleExpression, ConceptDataRVExpression, ConceptExpression, ConceptObjectCardinalityExpression, ConceptObjectRCExpression, ConceptObjectRoleExpression, DataExpression, DataRoleExpression, Datatype<R>, DatatypeExpression<R>, IndividualExpression, Literal<T>, NumericDatatype<R>, NumericLiteral<R>, ObjectRoleComplexExpression, ObjectRoleExpression, RoleExpression

All Known Implementing Classes:

ABSTRACT_DATATYPE, AbstractConceptDataCardinality, ConceptAnd, ConceptBottom, ConceptDataExactCardinality, ConceptDataExists, ConceptDataForall, ConceptDataMaxCardinality, ConceptDataMinCardinality, ConceptDataValue, ConceptName, ConceptNot, ConceptObjectExactCardinality, ConceptObjectExists, ConceptObjectForall, ConceptObjectMaxCardinality, ConceptObjectMinCardinality, ConceptObjectSelf, ConceptObjectValue, ConceptOneOf, ConceptOr, ConceptTop, DataAnd, DataBottom, DataNot, DataOneOf, DataOr, DataRoleBottom, DataRoleName, DataRoleTop, DataTop, DatatypeEnumeration, DatatypeNegation, DatatypeNumericEnumeration, IndividualName, NumericLiteralImpl, ObjectRoleBottom, ObjectRoleChain, ObjectRoleInverse, ObjectRoleName, ObjectRoleProjectionFrom, ObjectRoleProjectionInto, ObjectRoleTop

@PortedFrom(file="tNAryQueue.h",
            name="Expression")
public interface Expression
extends Entity

expression

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 interface uk.ac.manchester.cs.jfact.kernel.HasName

getName

Method Detail

accept

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

accept method for the visitor pattern

Parameters:

visitor - visitor

accept

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

Type Parameters:

O - visitor type

Parameters:

visitor - visitor

Returns:

visitor value