Package | Description |
---|---|
csheets.ext.assertion |
Provides support for user-specified and system-generated assertions.
|
Modifier and Type | Method and Description |
---|---|
static Interval |
Interval.abs(Interval interval)
Calculates the absolute value
Interval of an Interval |
static Interval |
Interval.add(Interval interval1,
Interval interval2)
Calculates the sum of two intervals
|
static Interval |
Interval.avg(List<Interval> intervals)
Calculates the average interval for a
List of intervals |
Interval |
Interval.clone() |
static Interval |
Interval.cos(Interval interval)
Calculates the cosine interval of an interval.
|
static Interval |
Interval.div(Interval interval1,
Interval interval2)
Calculates the quotient of two intervals
|
static Interval |
Interval.exp(Interval interval)
Calculates Eulers number e raised to an
Interval |
static Interval |
Interval.fact(Interval interval)
Calculates the factorial of an
Interval |
Interval |
AssertionWarning.getI1()
Returns the first interval involved in this warning.
|
Interval |
AssertionWarning.getI2()
Returns the second interval involved in this warning.
|
static Interval |
Interval.ln(Interval interval)
Calculates the natural logarithm for an
Interval |
static Interval |
Interval.log10(Interval interval)
Calculates the base 10 logarithm of an
Interval |
static Interval |
Interval.mul(Interval interval1,
Interval interval2)
Calculates the product of two intervals
|
static Interval |
Interval.negate(Interval interval)
Calculates the negation of an interval
|
Interval |
ConstMultiIntervalIterator.next()
Returns the next element in the iteration.
|
static Interval |
Interval.pow(Interval base,
Interval exponent)
Calculates the first
Interval raised to the power of the second |
static Interval |
Interval.rand()
Returns an
Interval holding all possible values you get from the Math.random() method |
static Interval |
Interval.sin(Interval interval)
Calculates the sine interval of an interval.
|
static Interval |
Interval.sqrt(Interval interval)
Calculates the square root of an
Interval |
static Interval |
Interval.sub(Interval interval1,
Interval interval2)
Calculates the difference between two intervals
|
static Interval |
Interval.sum(List<Interval> intervals)
Calculates the sum of a
List of intervals |
static Interval |
Interval.tan(Interval interval) |
static Interval |
Interval.toInt(Interval interval)
Calculates the
Interval you get if you convert the values from double to int |
static Interval |
Interval.union(Interval i1,
Interval i2)
Returns the union of two intersecting or bordering intervals.
|
Modifier and Type | Method and Description |
---|---|
Iterator<Interval> |
Assertion.getIntervalIterator()
Returns an iterator over the intervals representing all allowed values in
this assertion.
|
Iterator<Interval> |
MultiInterval.iterator()
Returns an iterator over the intervals in this MultiInterval in proper sequence.
|
Modifier and Type | Method and Description |
---|---|
static Interval |
Interval.abs(Interval interval)
Calculates the absolute value
Interval of an Interval |
static Interval |
Interval.add(Interval interval1,
Interval interval2)
Calculates the sum of two intervals
|
int |
Interval.compareTo(Interval i)
Compares two intervals, by essentially comparing their lower limit.
|
static Interval |
Interval.cos(Interval interval)
Calculates the cosine interval of an interval.
|
static Interval |
Interval.div(Interval interval1,
Interval interval2)
Calculates the quotient of two intervals
|
boolean |
Interval.encloses(Interval interval)
Indicates wether this Interval fully encloses another interval.
|
void |
MultiInterval.exclude(Interval interval)
Exclude a specific interval from this MultiInterval.
|
static Interval |
Interval.exp(Interval interval)
Calculates Eulers number e raised to an
Interval |
static Interval |
Interval.fact(Interval interval)
Calculates the factorial of an
Interval |
void |
MultiInterval.include(Interval interval)
Add an interval to be included in this MultiInterval.
|
boolean |
Interval.intersects(Interval interval)
Indicates wether this interval intersects with another interval.
|
static Interval |
Interval.ln(Interval interval)
Calculates the natural logarithm for an
Interval |
static Interval |
Interval.log10(Interval interval)
Calculates the base 10 logarithm of an
Interval |
static Interval |
Interval.mul(Interval interval1,
Interval interval2)
Calculates the product of two intervals
|
static Interval |
Interval.negate(Interval interval)
Calculates the negation of an interval
|
static Interval |
Interval.pow(Interval base,
Interval exponent)
Calculates the first
Interval raised to the power of the second |
static Interval |
Interval.sin(Interval interval)
Calculates the sine interval of an interval.
|
static Interval |
Interval.sqrt(Interval interval)
Calculates the square root of an
Interval |
static Interval |
Interval.sub(Interval interval1,
Interval interval2)
Calculates the difference between two intervals
|
static Interval |
Interval.tan(Interval interval) |
static Interval |
Interval.toInt(Interval interval)
Calculates the
Interval you get if you convert the values from double to int |
static Interval |
Interval.union(Interval i1,
Interval i2)
Returns the union of two intersecting or bordering intervals.
|
Modifier and Type | Method and Description |
---|---|
void |
AssertionParser.assertion(USAssertion ass,
List<Interval> orIntervals,
List<Interval> exceptIntervals) |
void |
AssertionParser.assertion(USAssertion ass,
List<Interval> orIntervals,
List<Interval> exceptIntervals) |
static Interval |
Interval.avg(List<Interval> intervals)
Calculates the average interval for a
List of intervals |
void |
AssertionParser.except_clause(List<Interval> lst) |
void |
AssertionParser.interval(List<Interval> lst) |
void |
AssertionParser.or_expr(List<Interval> lst) |
void |
AssertionParser.os_interval(List<Interval> lst) |
static Interval |
Interval.sum(List<Interval> intervals)
Calculates the sum of a
List of intervals |
void |
AssertionParser.term(List<Interval> lst) |
Constructor and Description |
---|
AssertionWarning(AssertionWarning.Type type,
Interval i1,
Interval i2)
Constructor.
|
Constructor and Description |
---|
ConstMultiIntervalIterator(Iterator<Interval> iter)
Creates a new "const"-iterator using the iterator specified
for all operations except remove.
|