@Override public int compareTo(final Rational that) { return compare(this, that); }
@Override protected IntegerInterval create(final Number lower, final Number upper) { return new IntegerInterval(lower, upper); }
@Override public Datatype<?> getPrimitiveDatatype() { return XSDDecimal.getInstance(); }
private OWLReal() { super(ATermUtils.makeTermAppl(Namespaces.OWL + "real")); dataRange = new RestrictedRealDatatype(this, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); }
@Override public ATermAppl getCanonicalRepresentation(final ATermAppl input) throws InvalidLiteralException { final String lexicalForm = getLexicalForm(input); fromLexicalForm(lexicalForm); return XSD_DECIMAL.getCanonicalRepresentation(ATermUtils.makeTypedLiteral(lexicalForm, XSD_DECIMAL.getName())); }
public IntervalRelations compare(final ContinuousRealInterval other) { return compare(this, other); }
private static Rational rational(final Number a, final Number b) { return new Rational(a, b); }
private static Rational rational(final String s) { return Rational.valueOf(s); }
@Override public Datatype<?> getPrimitiveDatatype() { return OWLReal.getInstance(); }
private OWLReal() { super(ATermUtils.makeTermAppl(Namespaces.OWL + "real")); dataRange = new RestrictedRealDatatype(this, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); }
@Override public ATermAppl getCanonicalRepresentation(final ATermAppl input) throws InvalidLiteralException { final String lexicalForm = getLexicalForm(input); fromLexicalForm(lexicalForm); return XSD_DECIMAL.getCanonicalRepresentation(ATermUtils.makeTypedLiteral(lexicalForm, XSD_DECIMAL.getName())); }
@Override protected IntegerInterval create(final Number lower, final Number upper) { return new IntegerInterval(lower, upper); }
@Override public Datatype<?> getPrimitiveDatatype() { return XSDDecimal.getInstance(); }
@Override public int compareTo(final Rational that) { return compare(this, that); }
@Override public Datatype<?> getPrimitiveDatatype() { return OWLReal.getInstance(); }
private OWLRational() { super(ATermUtils.makeTermAppl(Namespaces.OWL + "rational")); _dataRange = new RestrictedRealDatatype(this, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); }
public static IntegerInterval interval(final Integer l, final Integer u) { return new IntegerInterval(l, u); }
private OWLRational() { super(ATermUtils.makeTermAppl(Namespaces.OWL + "rational")); _dataRange = new RestrictedRealDatatype(this, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); }
/** * Private constructor forces use of {@link #getInstance()} */ private XSDDecimal() { super(ATermUtils.makeTermAppl(Namespaces.XSD + "decimal")); dataRange = new RestrictedRealDatatype(this, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), null); }
/** * Private constructor forces use of {@link #getInstance()} */ private XSDDecimal() { super(ATermUtils.makeTermAppl(Namespaces.XSD + "decimal")); dataRange = new RestrictedRealDatatype(this, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), null); }