de.tudresden.inf.lat.jcel.ontology.datatype
Interface IntegerClassExpression

All Superinterfaces:
de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
All Known Implementing Classes:
IntegerClass, IntegerDataHasValue, IntegerDataSomeValuesFrom, IntegerNamedIndividual, IntegerObjectIntersectionOf, IntegerObjectOneOf, IntegerObjectSomeValuesFrom

public interface IntegerClassExpression
extends de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

This interface is implemented by classes that model class expressions with integer numbers.

Author:
Julian Mendez

Method Summary
<T> T
accept(IntegerClassExpressionVisitor<T> visitor)
           
 boolean containsBottom()
          Tells whether or not this class expression contains a bottom.
 boolean containsOnlyOneClass()
          Tells whether or not this class expression contains only one class in its signature.
 boolean isLiteral()
          Tells whether or not this class expression is a literal.
 
Methods inherited from interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature
 

Method Detail

accept

<T> T accept(IntegerClassExpressionVisitor<T> visitor)

containsBottom

boolean containsBottom()
Tells whether or not this class expression contains a bottom.

Returns:
true if and only if this class expression contains a bottom

containsOnlyOneClass

boolean containsOnlyOneClass()
Tells whether or not this class expression contains only one class in its signature.

Returns:
true if and only if this class expression contains only literals

isLiteral

boolean isLiteral()
Tells whether or not this class expression is a literal.

Returns:
true if and only if this class expression is a literal


Copyright © 2012. All Rights Reserved.