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

Interface DataExpression

All Superinterfaces:

Entity, Expression, HasName

All Known Subinterfaces:

Datatype<R>, DatatypeExpression<R>, Literal<T>, NumericDatatype<R>, NumericLiteral<R>

All Known Implementing Classes:

ABSTRACT_DATATYPE, DataAnd, DataBottom, DataNot, DataOneOf, DataOr, DataTop, DatatypeEnumeration, DatatypeNegation, DatatypeNumericEnumeration, NumericLiteralImpl

@PortedFrom(file="tDLExpression.h",
            name="TDLDataExpression")
public interface DataExpression
extends Expression

data expression

Method Summary

Methods inherited from interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.Expression

accept, accept

Methods inherited from interface uk.ac.manchester.cs.jfact.kernel.HasName

getName