Package com.clarkparsia.pellet.datatypes

Examples of com.clarkparsia.pellet.datatypes.OWLRealInterval.compare()

177
178
179
180
181
182
183
184
185
186
187
      assertNull( a.intersection( b ) );
      assertNull( b.intersection( a ) );

      assertEquals( IntervalRelations.PRECEDES, a.compare( b ) );
      assertEquals( IntervalRelations.PRECEDED_BY, b.compare( a ) );
    }
  }

  /**
   * Verify that if two continuous intervals meet (i.e., one's upper is the
View Full Code Here
195
196
197
198
199
200
201
202
203
204
205
    assertNull( a.intersection( b ) );
    assertNull( b.intersection( a ) );

    assertEquals( IntervalRelations.MEETS, a.compare( b ) );
    assertEquals( IntervalRelations.MET_BY, b.compare( a ) );
  }

  /**
   * Verify that if two no-integer intervals meet (i.e., one's upper is the
   * other's lower and the (in|ex)clusiveness differs), then they do not
View Full Code Here
212
213
214
215
216
217
218
219
220
221
222
    assertNull( a.intersection( b ) );
    assertNull( b.intersection( a ) );

    assertEquals( IntervalRelations.MEETS, a.compare( b ) );
    assertEquals( IntervalRelations.MET_BY, b.compare( a ) );
  }

  /**
   * Verify that the overlap of two continuous intervals with exclusive bounds
   * intersect correctly.
View Full Code Here
329
330
331
332
333
334
335
336
337
338
339
    assertEquals( a, a.intersection( b ) );
    assertEquals( a, b.intersection( a ) );

    assertEquals( IntervalRelations.STARTS, a.compare( b ) );
    assertEquals( IntervalRelations.STARTED_BY, b.compare( a ) );
  }

  /**
   * Verify that the intersection of a continuous interval with a continuous
   * interval which it starts and which share an exclusive endpoint is
View Full Code Here
346
347
348
349
350
351
352
353
354
355
356
    assertEquals( a, a.intersection( b ) );
    assertEquals( a, b.intersection( a ) );

    assertEquals( IntervalRelations.STARTS, a.compare( b ) );
    assertEquals( IntervalRelations.STARTED_BY, b.compare( a ) );
  }

  /**
   * Verify that the intersection of a continuous interval with a continuous
   * interval which it starts but for which the endpoint type is different it
View Full Code Here
363
364
365
366
367
368
369
370
371
372
373
    assertEquals( a, a.intersection( b ) );
    assertEquals( a, b.intersection( a ) );

    assertEquals( IntervalRelations.DURING, a.compare( b ) );
    assertEquals( IntervalRelations.CONTAINS, b.compare( a ) );
  }

  /**
   * Verify that a continuous interval with unequal bounds is not a point.
   */
 
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.