Examples of applyConstrainingFacet()

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

889
890
891
892
893
894
895
896
897
898
899
    dr1 = dr1.applyConstrainingFacet( MIN_INCLUSIVE.getName(), -10 );
    dr1 = dr1.applyConstrainingFacet( MAX_INCLUSIVE.getName(), -2 );

    RestrictedDatatype<Number> dr2 = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), null, null );
    dr2 = dr2.applyConstrainingFacet( MIN_INCLUSIVE.getName(), 12 );
    dr2 = dr2.applyConstrainingFacet( MAX_INCLUSIVE.getName(), 13 );

    RestrictedDatatype<Number> dr = dr1.union( dr2 );

    assertFalse( dr.isEmpty() );
View Full Code Here

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

890
891
892
893
894
895
896
897
898
899
900
    dr1 = dr1.applyConstrainingFacet( MAX_INCLUSIVE.getName(), -2 );

    RestrictedDatatype<Number> dr2 = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), null, null );
    dr2 = dr2.applyConstrainingFacet( MIN_INCLUSIVE.getName(), 12 );
    dr2 = dr2.applyConstrainingFacet( MAX_INCLUSIVE.getName(), 13 );

    RestrictedDatatype<Number> dr = dr1.union( dr2 );

    assertFalse( dr.isEmpty() );
    assertTrue( dr.isFinite() );
View Full Code Here

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

265
266
267
268
269
270
271
272
273
274
275
  @Test
  public void emptyIntersectionConCon1() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr1 = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr1 = dr1.applyConstrainingFacet( MIN_INCLUSIVE.getName(), decimal( "2.5" ) );
    dr1 = dr1.applyConstrainingFacet( MAX_INCLUSIVE.getName(), decimal( "3.5" ) );

    RestrictedDatatype<Number> dr2 = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
View Full Code Here

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

266
267
268
269
270
271
272
273
274
275
276
  public void emptyIntersectionConCon1() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr1 = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr1 = dr1.applyConstrainingFacet( MIN_INCLUSIVE.getName(), decimal( "2.5" ) );
    dr1 = dr1.applyConstrainingFacet( MAX_INCLUSIVE.getName(), decimal( "3.5" ) );

    RestrictedDatatype<Number> dr2 = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr2 = dr2.applyConstrainingFacet( MIN_INCLUSIVE.getName(), decimal( "4.5" ) );
View Full Code Here

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

271
272
273
274
275
276
277
278
279
280
281
    dr1 = dr1.applyConstrainingFacet( MAX_INCLUSIVE.getName(), decimal( "3.5" ) );

    RestrictedDatatype<Number> dr2 = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr2 = dr2.applyConstrainingFacet( MIN_INCLUSIVE.getName(), decimal( "4.5" ) );
    dr2 = dr2.applyConstrainingFacet( MAX_INCLUSIVE.getName(), decimal( "5.5" ) );

    RestrictedDatatype<Number> dr = dr1.intersect( dr2, false );

    assertTrue( dr.isEmpty() );
View Full Code Here

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

272
273
274
275
276
277
278
279
280
281
282
    RestrictedDatatype<Number> dr2 = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr2 = dr2.applyConstrainingFacet( MIN_INCLUSIVE.getName(), decimal( "4.5" ) );
    dr2 = dr2.applyConstrainingFacet( MAX_INCLUSIVE.getName(), decimal( "5.5" ) );

    RestrictedDatatype<Number> dr = dr1.intersect( dr2, false );

    assertTrue( dr.isEmpty() );
    assertTrue( dr.isFinite() );
View Full Code Here

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

294
295
296
297
298
299
300
301
302
303
304
  @Test
  public void emptyRangeCon1() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr = dr.applyConstrainingFacet( MAX_INCLUSIVE.getName(), decimal( "2.5" ) );
    dr = dr.applyConstrainingFacet( MIN_INCLUSIVE.getName(), decimal( "3.5" ) );

    assertFalse( dr.contains( 2 ) );
    assertFalse( dr.contains( decimal( "2.4999" ) ) );
    assertFalse( dr.contains( decimal( "2.5" ) ) );
View Full Code Here

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

295
296
297
298
299
300
301
302
303
304
305
  public void emptyRangeCon1() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr = dr.applyConstrainingFacet( MAX_INCLUSIVE.getName(), decimal( "2.5" ) );
    dr = dr.applyConstrainingFacet( MIN_INCLUSIVE.getName(), decimal( "3.5" ) );

    assertFalse( dr.contains( 2 ) );
    assertFalse( dr.contains( decimal( "2.4999" ) ) );
    assertFalse( dr.contains( decimal( "2.5" ) ) );
    assertFalse( dr.contains( decimal( "2.5001" ) ) );
View Full Code Here

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

484
485
486
487
488
489
490
491
492
493
494
   */
  @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

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

485
486
487
488
489
490
491
492
493
494
495
  @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
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.