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

Interface Expression

All Superinterfaces:

Entity

All Known Subinterfaces:

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

All Known Implementing Classes:

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

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)

Method Detail

accept

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

accept method for the visitor pattern

accept

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