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

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

29
30
31
32
33
34
35
36
37
38
39
* @author Mike Smith
*/
public class ContinuousRealIntervalTests {

  public static ContinuousRealInterval interval(Double l, Double u, boolean il, boolean iu) {
    return new ContinuousRealInterval( l == null
      ? null
      : BigDecimal.valueOf( l ), u == null
      ? null
      : BigDecimal.valueOf( u ), il, iu );
  }
View Full Code Here
41
42
43
44
45
46
47
48
49
50
  /**
   * Verify that exclusive endpoints are not contained within the interval.
   */
  @Test
  public void exclusiveEndpoints() {
    final ContinuousRealInterval interval = interval( -1.3, 2.5, false, false );
    assertFalse( interval.contains( BigDecimal.valueOf( -1.3d ) ) );
    assertFalse( interval.contains( BigDecimal.valueOf( 2.5d ) ) );
    assertTrue( interval.contains( 0 ) );
  }
View Full Code Here
52
53
54
55
56
57
58
59
60
61
  /**
   * Verify that inclusive endpoints are contained within the interval.
   */
  @Test
  public void inclusiveEndpoints() {
    final ContinuousRealInterval interval = interval( -1.3, 2.5, true, true );
    assertTrue( interval.contains( BigDecimal.valueOf( -1.3d ) ) );
    assertTrue( interval.contains( BigDecimal.valueOf( 2.5d ) ) );
    assertTrue( interval.contains( 0 ) );
  }
View Full Code Here
64
65
66
67
68
69
70
71
72
73
74
75
76
77
   * Verify that if no overlap exists between the bounds an empty intersection
   * is identified
   */
  @Test
  public void intersectionEmpty() {
    final ContinuousRealInterval a = interval( null, 0d, false, true );
    final ContinuousRealInterval b = interval( 1d, null, true, false );

    assertNull( a.intersection( b ) );
    assertNull( b.intersection( a ) );

    assertEquals( IntervalRelations.PRECEDES, a.compare( b ) );
    assertEquals( IntervalRelations.PRECEDED_BY, b.compare( a ) );
  }
View Full Code Here
80
81
82
83
84
85
86
87
88
89
90
91
92
93
   * Verify that if two intervals meet (i.e., one's upper is the other's lower
   * and the (in|ex)clusiveness differs), then they do not intersect.
   */
  @Test
  public void intersectionMeets() {
    final ContinuousRealInterval a = interval( null, 2.1, false, false );
    final ContinuousRealInterval b = interval( 2.1, null, true, false );

    assertNull( a.intersection( b ) );
    assertNull( b.intersection( a ) );

    assertEquals( IntervalRelations.MEETS, a.compare( b ) );
    assertEquals( IntervalRelations.MET_BY, b.compare( a ) );
  }
View Full Code Here
96
97
98
99
100
101
102
103
104
105
106
107
108
109
   * Verify that the overlap of two intervals with exclusive bounds intersect
   * correctly.
   */
  @Test
  public void intersectionOverlap1() {
    final ContinuousRealInterval a = interval( null, 0.51, false, false );
    final ContinuousRealInterval b = interval( 0.49, null, false, false );

    final ContinuousRealInterval expected = interval( 0.49, 0.51, false, false );
    assertEquals( expected, a.intersection( b ) );
    assertEquals( expected, b.intersection( a ) );

    assertTrue( a.intersection( b ).contains( BigDecimal.valueOf( 0.50 ) ) );
    assertTrue( b.intersection( a ).contains( BigDecimal.valueOf( 0.50 ) ) );
View Full Code Here
122
123
124
125
126
127
128
129
130
131
132
133
134
135
   * Verify that the overlap of two intervals with inclusive bounds intersect
   * correctly.
   */
  @Test
  public void intersectionOverlap2() {
    final ContinuousRealInterval a = interval( null, 0.51, false, true );
    final ContinuousRealInterval b = interval( 0.49, null, true, false );

    final ContinuousRealInterval expected = interval( 0.49, 0.51, true, true );
    assertEquals( expected, a.intersection( b ) );
    assertEquals( expected, b.intersection( a ) );

    assertTrue( a.intersection( b ).contains( BigDecimal.valueOf( 0.50 ) ) );
    assertTrue( b.intersection( a ).contains( BigDecimal.valueOf( 0.50 ) ) );
View Full Code Here
148
149
150
151
152
153
154
155
156
157
158
159
160
161
   * Verify that two intervals overlapping just on an inclusive bound
   * intersect to a point.
   */
  @Test
  public void intersectionPoint() {
    final ContinuousRealInterval a = interval( null, 2.1, false, true );
    final ContinuousRealInterval b = interval( 2.1, null, true, false );

    final ContinuousRealInterval expected = new ContinuousRealInterval( BigDecimal
        .valueOf( 2.1d ) );

    assertEquals( expected, a.intersection( b ) );
    assertEquals( expected, b.intersection( a ) );

View Full Code Here
173
174
175
176
177
178
179
180
181
182
183
184
185
186
   * Verify that the intersection of a interval with a interval which it
   * starts and which share an inclusive endpoint is correct.
   */
  @Test
  public void intersectionStarts1() {
    final ContinuousRealInterval a = interval( 2.1, 3.1, true, true );
    final ContinuousRealInterval b = interval( 2.1, null, true, false );

    assertEquals( a, a.intersection( b ) );
    assertEquals( a, b.intersection( a ) );

    assertEquals( IntervalRelations.STARTS, a.compare( b ) );
    assertEquals( IntervalRelations.STARTED_BY, b.compare( a ) );
  }
View Full Code Here
189
190
191
192
193
194
195
196
197
198
199
200
201
202
   * Verify that the intersection of a interval with a interval which it
   * starts and which share an exclusive endpoint is correct.
   */
  @Test
  public void intersectionStarts2() {
    final ContinuousRealInterval a = interval( 2.1, 3.1, false, true );
    final ContinuousRealInterval b = interval( 2.1, null, false, false );

    assertEquals( a, a.intersection( b ) );
    assertEquals( a, b.intersection( a ) );

    assertEquals( IntervalRelations.STARTS, a.compare( b ) );
    assertEquals( IntervalRelations.STARTED_BY, b.compare( a ) );
  }
View Full Code Here
TOP

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

  • com.clarkparsia.pellet.datatypes.test.ContinuousRealIntervalTests
  • com.clarkparsia.pellet.datatypes.types.datetime.RestrictedTimelineDatatype
    • Copyright © 2018 www.massapicom. 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.