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

Interface DataExpression

All Superinterfaces:

Entity, Expression

All Known Subinterfaces:

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

All Known Implementing Classes:

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

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

Method Summary

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

accept, accept