Module dev.civl.sarl

Package dev.civl.sarl.IF.number

Class NumberFactory.IntervalUnion

java.lang.Object

dev.civl.sarl.IF.number.NumberFactory.IntervalUnion

Enclosing interface:

NumberFactory

public static class NumberFactory.IntervalUnion
extends Object

A simple type for recording the result of attempting to take the union of two intervals i1 and i2. There are three possibilities:

1. the union of the two intervals is an interval. In this case, status=0 and union is the union of the two intervals.
2. i1 is strictly less than i2 and the union is not an interval. In this case, status<0 and union is null.
3. i1 is strictly greater than i2 and the union is not an interval. In this case, status>0 and union is null.

Field Summary

Fields

Modifier and Type	Field	Description
int	status
Interval	union

Constructor Summary

Constructors

Constructor	Description
IntervalUnion()

Method Summary

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

status

public int status

union

public Interval union

Constructor Details

IntervalUnion

public IntervalUnion()