Examples of applyConstrainingFacet()

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype.applyConstrainingFacet()

577
578
579
580
581
582
583
584
585
586
587
  @Test
  public void maxExclusiveFacetCon1() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr = dr.applyConstrainingFacet( MAX_EXCLUSIVE.getName(), decimal( "3.5" ) );

    assertTrue( dr.contains( BigDecimal.valueOf( Long.MIN_VALUE ).subtract(
        BigDecimal.valueOf( 0.1 ) ) ) );
    assertTrue( dr.contains( Long.MIN_VALUE ) );
    assertTrue( dr.contains( 0 ) );
View Full Code Here

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype.applyConstrainingFacet()

595
596
597
598
599
600
601
602
603
604
605
  @Test
  public void maxExclusiveFacetInt1() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), null, null );
    dr = dr.applyConstrainingFacet( MAX_EXCLUSIVE.getName(), 3 );

    assertFalse( dr.contains( BigDecimal.valueOf( Long.MIN_VALUE ).subtract(
        BigDecimal.valueOf( 0.1 ) ) ) );
    assertTrue( dr.contains( Long.MIN_VALUE ) );
    assertTrue( dr.contains( 0 ) );
View Full Code Here

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype.applyConstrainingFacet()

618
619
620
621
622
623
624
625
626
627
628
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr = dr.intersect( new RestrictedRealDatatype( dt, IntegerInterval.allIntegers(), null,
        null ), true );
    dr = dr.applyConstrainingFacet( MAX_EXCLUSIVE.getName(), decimal( "3.5" ) );

    assertTrue( dr.contains( BigDecimal.valueOf( Long.MIN_VALUE ).subtract(
        BigDecimal.valueOf( 0.1 ) ) ) );
    assertFalse( dr.contains( Long.MIN_VALUE ) );
    assertFalse( dr.contains( 0 ) );
View Full Code Here

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype.applyConstrainingFacet()

638
639
640
641
642
643
644
645
646
647
648
  @Test
  public void maxInclusiveFacetCon1() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr = dr.applyConstrainingFacet( MAX_INCLUSIVE.getName(), decimal( "3.5" ) );

    assertTrue( dr.contains( BigDecimal.valueOf( Long.MIN_VALUE ).subtract(
        BigDecimal.valueOf( 0.1 ) ) ) );
    assertTrue( dr.contains( Long.MIN_VALUE ) );
    assertTrue( dr.contains( 0 ) );
View Full Code Here

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype.applyConstrainingFacet()

656
657
658
659
660
661
662
663
664
665
666
  @Test
  public void maxInclusiveFacetInt1() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), null, null );
    dr = dr.applyConstrainingFacet( MAX_INCLUSIVE.getName(), 3 );

    assertFalse( dr.contains( BigDecimal.valueOf( Long.MIN_VALUE ).subtract(
        BigDecimal.valueOf( 0.1 ) ) ) );
    assertTrue( dr.contains( Long.MIN_VALUE ) );
    assertTrue( dr.contains( 0 ) );
View Full Code Here

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype.applyConstrainingFacet()

679
680
681
682
683
684
685
686
687
688
689
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr = dr.intersect( new RestrictedRealDatatype( dt, IntegerInterval.allIntegers(), null,
        null ), true );
    dr = dr.applyConstrainingFacet( MAX_INCLUSIVE.getName(), decimal( "3.5" ) );

    assertTrue( dr.contains( BigDecimal.valueOf( Long.MIN_VALUE ).subtract(
        BigDecimal.valueOf( 0.1 ) ) ) );
    assertFalse( dr.contains( Long.MIN_VALUE ) );
    assertFalse( dr.contains( 0 ) );
View Full Code Here

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype.applyConstrainingFacet()

700
701
702
703
704
705
706
707
708
709
710
  @Test
  public void minExclusiveFacetCon1() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr = dr.applyConstrainingFacet( MIN_EXCLUSIVE.getName(), decimal( "3.5" ) );

    assertFalse( dr.contains( BigDecimal.valueOf( Long.MIN_VALUE ).subtract(
        BigDecimal.valueOf( 0.1 ) ) ) );
    assertFalse( dr.contains( Long.MIN_VALUE ) );
    assertFalse( dr.contains( 0 ) );
View Full Code Here

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype.applyConstrainingFacet()

718
719
720
721
722
723
724
725
726
727
728
  @Test
  public void minExclusiveFacetInt1() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), null, null );
    dr = dr.applyConstrainingFacet( MIN_EXCLUSIVE.getName(), 3 );

    assertFalse( dr.contains( BigDecimal.valueOf( Long.MIN_VALUE ).subtract(
        BigDecimal.valueOf( 0.1 ) ) ) );
    assertFalse( dr.contains( Long.MIN_VALUE ) );
    assertFalse( dr.contains( 0 ) );
View Full Code Here

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype.applyConstrainingFacet()

741
742
743
744
745
746
747
748
749
750
751
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr = dr.intersect( new RestrictedRealDatatype( dt, IntegerInterval.allIntegers(), null,
        null ), true );
    dr = dr.applyConstrainingFacet( MIN_EXCLUSIVE.getName(), decimal( "3.5" ) );

    assertFalse( dr.contains( BigDecimal.valueOf( Long.MIN_VALUE ).subtract(
        BigDecimal.valueOf( 0.1 ) ) ) );
    assertFalse( dr.contains( Long.MIN_VALUE ) );
    assertFalse( dr.contains( 0 ) );
View Full Code Here

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype.applyConstrainingFacet()

762
763
764
765
766
767
768
769
770
771
772
  @Test
  public void minInclusiveFacetCon1() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr = dr.applyConstrainingFacet( MIN_INCLUSIVE.getName(), decimal( "3.5" ) );

    assertFalse( dr.contains( BigDecimal.valueOf( Long.MIN_VALUE ).subtract(
        BigDecimal.valueOf( 0.1 ) ) ) );
    assertFalse( dr.contains( Long.MIN_VALUE ) );
    assertFalse( dr.contains( 0 ) );
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.