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

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

616
617
618
619
620
621
622
623
624
625
626
  @Test
  public void maxExclusiveFacetNoI1() throws InvalidConstrainingFacetException {
    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 ) ) ) );
View Full Code Here
677
678
679
680
681
682
683
684
685
686
687
  @Test
  public void maxInclusiveFacetNoI1() throws InvalidConstrainingFacetException {
    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 ) ) ) );
View Full Code Here
739
740
741
742
743
744
745
746
747
748
749
  @Test
  public void minExclusiveFacetNoI1() throws InvalidConstrainingFacetException {
    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 ) ) ) );
View Full Code Here
801
802
803
804
805
806
807
808
809
810
811
  @Test
  public void minInclusiveFacetNoI1() throws InvalidConstrainingFacetException {
    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_INCLUSIVE.getName(), decimal( "3.5" ) );

    assertFalse( dr.contains( BigDecimal.valueOf( Long.MIN_VALUE ).subtract(
        BigDecimal.valueOf( 0.1 ) ) ) );
View Full Code Here
861
862
863
864
865
866
867
868
869
870
871
  @Test
  public void minMaxIncIncNoI1() throws InvalidConstrainingFacetException {
    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_INCLUSIVE.getName(), decimal( "2.5" ) );
    dr = dr.applyConstrainingFacet( MAX_INCLUSIVE.getName(), decimal( "3.5" ) );

    assertFalse( dr.contains( 2 ) );
View Full Code Here
211
212
213
214
215
216
217
218
219
220
221
   */
  @Test
  public void containsNoI() {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), null, null );
    dr = dr.intersect( new RestrictedRealDatatype( dt, IntegerInterval.allIntegers(), null,
        null ), true );

    assertFalse( dr.contains( (byte) 0 ) );
    assertFalse( dr.contains( Byte.MIN_VALUE ) );
    assertFalse( dr.contains( Byte.MAX_VALUE ) );
View Full Code Here
564
565
566
567
568
569
570
571
572
573
574
    assertTrue( dr.contains( 0 ) );
    assertTrue( dr.contains( decimal( "0.33" ) ) );
    assertTrue( dr.contains( rational( 1, 3 ) ) );

    dr = dr.intersect( new RestrictedRealDatatype( dt, IntegerInterval.allIntegers(),
        ContinuousRealInterval.allReals(), null ), true );

    assertFalse( dr.contains( 0 ) );
    assertFalse( dr.contains( decimal( "0.33" ) ) );
    assertTrue( dr.contains( rational( 1, 3 ) ) );
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.