Examples of org.semanticweb.HermiT.model.ConstantEnumeration

                DatatypeRestriction datatypeRestriction=(DatatypeRestriction)negatedDataRange;
                if (!m_unknownDatatypeRestrictionsPermanent.contains(datatypeRestriction) && (m_unknownDatatypeRestrictionsAdditional==null || !m_unknownDatatypeRestrictionsAdditional.contains(datatypeRestriction)))
                    variable.m_negativeDatatypeRestrictions.add(datatypeRestriction);
            }
            else if (negatedDataRange instanceof ConstantEnumeration) {
                ConstantEnumeration negatedConstantEnumeration=(ConstantEnumeration)negatedDataRange;
                variable.m_negativeConstantEnumerations.add(negatedConstantEnumeration);
                for (int index=negatedConstantEnumeration.getNumberOfConstants()-1;index>=0;--index)
                    variable.addForbiddenDataValue(negatedConstantEnumeration.getConstant(index).getDataValue());
            }
            else
                throw new IllegalStateException("Internal error: invalid data range.");
        }
        else

    }
    protected void normalizeAsEnumeration(DVariable variable) {
        variable.m_hasExplicitDataValues=true;
        List<Object> explicitDataValues=variable.m_explicitDataValues;
        List<ConstantEnumeration> positiveConstantEnumerations=variable.m_positiveConstantEnumerations;
        ConstantEnumeration firstDataValueEnumeration=positiveConstantEnumerations.get(0);
        nextValue: for (int index=firstDataValueEnumeration.getNumberOfConstants()-1;index>=0;--index) {
            Object dataValue=firstDataValueEnumeration.getConstant(index).getDataValue();
            if (!explicitDataValues.contains(dataValue) && !variable.m_forbiddenDataValues.contains(dataValue)) {
                for (int enumerationIndex=positiveConstantEnumerations.size()-1;enumerationIndex>=1;--enumerationIndex)
                    if (!containsDataValue(positiveConstantEnumerations.get(enumerationIndex),dataValue))
                        continue nextValue;
                explicitDataValues.add(dataValue);

Examples of org.semanticweb.HermiT.model.ConstantEnumeration

Related Classes of org.semanticweb.HermiT.model.ConstantEnumeration