Uses of Class
data.Interval

Packages that use Interval

data
engin
generator.data
generator.engin

Uses of Interval in data

Fields in data declared as Interval

static Interval	Interval.EMPTY_INTERVAL Constant representing an empty interval.
Interval	ActInitialEndingTriplet.endingStates The ending state setof the transition
Interval	ActInitialEndingTriplet.initialStates The initial state set of the transition
Interval	ActInitialPair.initialStates The initial state set of the transition
static Interval	Interval.R Represents the valid set of numbers.

Methods in data that return Interval

Interval	Interval.closure() Returns a closure of the current interval.
Interval	Transition.getEndingStates() Get the interval representing all the ending states
Interval[]	ProbSystemHash.getEndingStates(java.lang.String act, Interval init) Returns all the ending intervals that can be reached by the specified action from the specified starting interval.
Interval	IntervalList.getIntervalAt(int index) Returns the interval at the specified index.
Interval	Transition.getStartingStates() Get the interval representing all the starting states
Interval[]	ProbSystemHash.getStartingStates(java.lang.String act) Returns all the starting sets x from X for which the specified action may produce some result.
static Interval	Interval.intersectionOf(Interval i, Interval j) Compute the intersection of two intervals.
static Interval	Interval.unionOf(Interval i, Interval j) Compute the union of two intervals, should these intersect.

Methods in data with parameters of type Interval

void	IntervalList.add(Interval i) Add the interval i to the current list, unifying if necessary.
Interval[]	ProbSystemHash.getEndingStates(java.lang.String act, Interval init) Returns all the ending intervals that can be reached by the specified action from the specified starting interval.
Transition	ProbSystemHash.getTransition(java.lang.String act, Interval init, Interval end) Returns the transition associated with the specified triplet.
static Interval	Interval.intersectionOf(Interval i, Interval j) Compute the intersection of two intervals.
boolean	Interval.intersectsWith(Interval i) Determines if the current interval intersects with i.
boolean	Interval.isIncluded(Interval smaller) Determines if the smaller interval is included into this one.
boolean	IntervalList.isIncluded(Interval smaller) Returns true if the interval is included or equal to the current list.
static IntervalList	IntervalList.union(IntervalList list, Interval i) Compute the unification of an interval with a list.
static Interval	Interval.unionOf(Interval i, Interval j) Compute the union of two intervals, should these intersect.

Constructors in data with parameters of type Interval

ActInitialEndingTriplet(java.lang.String action, Interval initialStates, Interval endingStates)
Default constructor with the three parameters

ActInitialPair(java.lang.String action, Interval initialStates)
Constructor with the two parameters.

Interval(Interval i)
Copy constructor.

IntervalList(Interval i)
Constructor with one interval as parameter...

Transition(Interval startingStates, Interval endingStates, ExpressionProgram exp, java.lang.String action)
Initialization constructor

Uses of Interval in engin

Methods in engin with parameters of type Interval

java.util.ArrayList	Engin.findZeroes(Expression exp, Variable var, Interval inter, double threshold) This method finds the intersection points between a mathematical expression and a threshold, on the interval closure inter.
java.util.ArrayList	Engin.findZeroesBigDecimal(Expression exp, Variable var, Interval inter, double threshold) This method finds the intersection points between a mathematical expression and a threshold, on the interval closure inter.
java.util.ArrayList	Engin.findZeroesDouble(Expression exp, Variable var, Interval inter, double threshold) This method finds the intersection points between a mathematical expression and a threshold, on the interval closure inter.

Uses of Interval in generator.data

Subclasses of Interval in generator.data

class

IntervalNoUnion Interval No Union This is a an enhanced version of Interval for use with a intervalNoUnionList.

Methods in generator.data that return Interval

Interval

RandomizedModel.estimateNumberOfTransitions() Estimates the number of transitions contained in the model

Uses of Interval in generator.engin

Methods in generator.engin that return Interval

Interval

GeneratorEngine.getStates() Returns the state set of the system.

Methods in generator.engin with parameters of type Interval

void	GeneratorEngine.generateTransitionsForX(Interval x, int tNumber) This method generates all transitions for an interval x from X.