}
}
else if( afun.equals( ATermUtils.RESTRDATATYPEFUN ) ) {
ATermAppl baseDatatype = (ATermAppl) c.getArgument( 0 );
atoms.add( new DataRangeAtom( baseDatatype, var ) );
for( ATermList list = (ATermList) c.getArgument( 1 ); !list.isEmpty(); list = list.getNext() ) {
ATermAppl facetRestriction = (ATermAppl) list.getFirst();
ATermAppl facet = (ATermAppl) facetRestriction.getArgument( 0 );
String builtin = FACETS.get( facet );
if( builtin != null ) {
ATermAppl value = (ATermAppl) facetRestriction.getArgument( 1 );
atoms.add( new BuiltInAtom( builtin, var, new AtomDConstant( value ) ) );
}
else {
atoms.add( new DataRangeAtom( c, var ) );
return;
}
}
}
else {
atoms.add( new DataRangeAtom( c, var ) );
}
}