Package com.clarkparsia.pellet.datatypes.types.real

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype

320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
   * Test that an integer is correctly excluded from an infinite continuous
   * interval
   */
  @Test
  public void excludeConInt1() {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr = dr.exclude( singleton( 1 ) );

    assertFalse( dr.contains( 1 ) );
    assertTrue( dr.contains( 0 ) );
    assertTrue( dr.contains( 2 ) );
    assertTrue( dr.contains( decimal( "0.99999" ) ) );
    assertTrue( dr.contains( decimal( "1.00001" ) ) );

    assertFalse( dr.isEmpty() );
    assertFalse( dr.isEnumerable() );
    assertFalse( dr.isFinite() );
  }
View Full Code Here
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
   * Test that a collection of integers is correctly excluded from an infinite
   * continuous interval
   */
  @Test
  public void excludeConInt2() {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr = dr.exclude( Arrays.asList( 1, 2, 3 ) );

    assertFalse( dr.contains( 1 ) );
    assertFalse( dr.contains( 2 ) );
    assertFalse( dr.contains( 3 ) );
    assertTrue( dr.contains( 0 ) );
    assertTrue( dr.contains( 4 ) );
    assertTrue( dr.contains( decimal( "0.5" ) ) );
    assertTrue( dr.contains( decimal( "1.5" ) ) );
    assertTrue( dr.contains( decimal( "2.5" ) ) );
    assertTrue( dr.contains( decimal( "3.5" ) ) );

    assertFalse( dr.isEmpty() );
    assertFalse( dr.isEnumerable() );
    assertFalse( dr.isFinite() );
  }
View Full Code Here
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
   * Test that a non-integer is correctly excluded from an infinte continuous
   * interval
   */
  @Test
  public void excludeConNoI1() {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr = dr.exclude( singleton( decimal( "1.1" ) ) );

    assertFalse( dr.contains( decimal( "1.1" ) ) );
    assertTrue( dr.contains( 1 ) );
    assertTrue( dr.contains( 2 ) );
    assertTrue( dr.contains( decimal( "1.09999" ) ) );
    assertTrue( dr.contains( decimal( "1.10001" ) ) );

    assertFalse( dr.isEmpty() );
    assertFalse( dr.isEnumerable() );
    assertFalse( dr.isFinite() );
  }
View Full Code Here
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
   * Test that a set of non-integers is correctly excluded from an infinte
   * continuous interval
   */
  @Test
  public void excludeConNoI2() {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr = dr.exclude( Arrays.asList( decimal( "1.1" ), decimal( "2.2" ), decimal( "3.3" ) ) );

    assertFalse( dr.contains( decimal( "1.1" ) ) );
    assertFalse( dr.contains( decimal( "2.2" ) ) );
    assertFalse( dr.contains( decimal( "3.3" ) ) );
    assertTrue( dr.contains( 2 ) );
    assertTrue( dr.contains( 3 ) );
    assertTrue( dr.contains( decimal( "1.09999" ) ) );
    assertTrue( dr.contains( decimal( "1.10001" ) ) );
    assertTrue( dr.contains( decimal( "2.19999" ) ) );
    assertTrue( dr.contains( decimal( "2.20001" ) ) );
    assertTrue( dr.contains( decimal( "3.29999" ) ) );
    assertTrue( dr.contains( decimal( "3.30001" ) ) );

    assertFalse( dr.isEmpty() );
    assertFalse( dr.isEnumerable() );
    assertFalse( dr.isFinite() );
  }
View Full Code Here
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
   * Test that an integer is correctly excluded from an infinite integer
   * interval
   */
  @Test
  public void excludeIntInt1() {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), null, null );
    dr = dr.exclude( singleton( 1 ) );

    assertFalse( dr.contains( 1 ) );
    assertTrue( dr.contains( 0 ) );
    assertTrue( dr.contains( 2 ) );
    assertFalse( dr.contains( decimal( "0.99999" ) ) );
    assertFalse( dr.contains( decimal( "1.00001" ) ) );

    assertFalse( dr.isEmpty() );
    assertTrue( dr.isEnumerable() );
    assertFalse( dr.isFinite() );
  }
View Full Code Here
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
   * Test that a collection of integers is correctly excluded from an infinite
   * integer interval
   */
  @Test
  public void excludeIntInt2() {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), null, null );
    dr = dr.exclude( Arrays.asList( 1, 2, 3 ) );

    assertFalse( dr.contains( 1 ) );
    assertFalse( dr.contains( 2 ) );
    assertFalse( dr.contains( 3 ) );
    assertTrue( dr.contains( 0 ) );
    assertTrue( dr.contains( 4 ) );
    assertFalse( dr.contains( decimal( "0.5" ) ) );
    assertFalse( dr.contains( decimal( "1.5" ) ) );
    assertFalse( dr.contains( decimal( "2.5" ) ) );
    assertFalse( dr.contains( decimal( "3.5" ) ) );

    assertFalse( dr.isEmpty() );
    assertTrue( dr.isEnumerable() );
    assertFalse( dr.isFinite() );
  }
View Full Code Here
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
   * Test that an irrelevant value can be excluded
   */
  @Test
  public void excludeIrrelevant1() {
    final String value = "A String, not a Number";
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr = dr.exclude( singleton( value ) );

    assertFalse( dr.contains( value ) );
    assertFalse( dr.isEmpty() );
    assertFalse( dr.isEnumerable() );
    assertFalse( dr.isFinite() );
  }
View Full Code Here
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
   *
   * @throws InvalidConstrainingFacetException
   */
  @Test
  public void integerEnumeration1() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), null, null );
    dr = dr.applyConstrainingFacet( MIN_INCLUSIVE.getName(), -250 );
    dr = dr.applyConstrainingFacet( MAX_INCLUSIVE.getName(), 350 );

    Iterator<Number> it = dr.valueIterator();
    for( int i = -250; i <= 350; i++ ) {
      assertEquals( 0, OWLRealUtils.compare( i, it.next() ) );
    }
  }
View Full Code Here
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
   *
   * @throws InvalidConstrainingFacetException
   */
  @Test
  public void integerEnumeration2a() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), null, null );
    dr = dr.applyConstrainingFacet( MIN_INCLUSIVE.getName(), -250 );
    dr = dr.applyConstrainingFacet( MAX_INCLUSIVE.getName(), 350 );

    RestrictedDatatype<Number> neg = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), null, null );
    neg = neg.applyConstrainingFacet( MIN_INCLUSIVE.getName(), -5 );
    neg = neg.applyConstrainingFacet( MAX_INCLUSIVE.getName(), -2 );

    dr = dr.intersect( neg, true );

    Iterator<Number> it = dr.valueIterator();
    for( int i = -250; i <= 350; i++ ) {
View Full Code Here
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
   *
   * @throws InvalidConstrainingFacetException
   */
  @Test
  public void integerEnumeration2b() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), null, null );
    dr = dr.applyConstrainingFacet( MIN_INCLUSIVE.getName(), -250 );
    dr = dr.applyConstrainingFacet( MAX_EXCLUSIVE.getName(), -5 );

    RestrictedDatatype<Number> b = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), null, null );
    b = b.applyConstrainingFacet( MIN_EXCLUSIVE.getName(), -2 );
    b = b.applyConstrainingFacet( MAX_INCLUSIVE.getName(), 350 );

    dr = dr.union( b );

    Iterator<Number> it = dr.valueIterator();
    for( int i = -250; i <= 350; i++ ) {
View Full Code Here
TOP

Related Classes of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype

  • com.clarkparsia.pellet.datatypes.Facet
  • com.clarkparsia.pellet.datatypes.test.RestrictedRealDatatypeTests
  • java.util.NoSuchElementException
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.