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

   * Test that intersecting a full number line with the negation of one that
   * only permits decimals, leaves only rationals
   */
  @Test
  public void intersectToRationalOnly() {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );


    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 ) ) );
  }

    assertTrue( dr.contains( rational( 1, 3 ) ) );
  }


  @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 ) );
    assertTrue( dr.contains( decimal( "3.4999" ) ) );
    assertFalse( dr.contains( decimal( "3.5" ) ) );
    assertFalse( dr.contains( decimal( "3.5001" ) ) );
    assertFalse( dr.contains( Long.MAX_VALUE ) );
    assertFalse( dr.contains( BigDecimal.valueOf( Long.MAX_VALUE ).add(
        BigDecimal.valueOf( 0.1 ) ) ) );
  }

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

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