Uses of Class
csheets.ext.assertion.Interval

Packages that use Interval
csheets.ext.assertion Provides support for user-specified and system-generated assertions. 
 

Uses of Interval in csheets.ext.assertion
 

Methods in csheets.ext.assertion that return Interval
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 Interval
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.
 

Methods in csheets.ext.assertion that return types with arguments of type Interval
 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.
 

Methods in csheets.ext.assertion with parameters of type Interval
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 Interval
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.
 

Method parameters in csheets.ext.assertion with type arguments of type Interval
 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)
           
 

Constructors in csheets.ext.assertion with parameters of type Interval
AssertionWarning(AssertionWarning.Type type, Interval i1, Interval i2)
          Constructor.
 

Constructor parameters in csheets.ext.assertion with type arguments of type Interval
ConstMultiIntervalIterator(Iterator<Interval> iter)
          Creates a new "const"-iterator using the iterator specified for all operations except remove.