Uses of Class
data.IntervalList

Packages that use IntervalList

data
engin
engin.event
ui
ui.components

Uses of IntervalList in data

Methods in data that return IntervalList

IntervalList	IntervalList.copy() Returns a copy of the current list.
IntervalList	ProbSystem.getStates() Gets all the possible states of the system.
IntervalList	ProbSystemHash.getStates() Returns the entire state space of the system
IntervalList	ProbSystemMtbdd.getStates() Retourne l'ensemble des intervalles qui constitue les états du système.
IntervalList	ProbSystem.getStatesForLabel(java.lang.String ap) Returns the list of states associated to an atomic proposition
IntervalList	ProbSystemHash.getStatesForLabel(java.lang.String ap) Returns the states set associated with the atomic proposition.
IntervalList	ProbSystemMtbdd.getStatesForLabel(java.lang.String ap) Renvoie l'ensemble des états dans lesquels la proposition atomique ap est valide.
static IntervalList	IntervalList.intersectionOf(IntervalList list1, IntervalList list2) Returns the intersection of two lists.
static IntervalList	IntervalList.substract(IntervalList s, IntervalList l) This methods compute the negation of the division of the two sets
static IntervalList	IntervalList.union(IntervalList list, Interval i) Compute the unification of an interval with a list.
static IntervalList	IntervalList.union(IntervalList list1, IntervalList list2) Unify two list of intervals.

Methods in data with parameters of type IntervalList

void	ProbSystem.addLabelToStates(java.lang.String ap, IntervalList l) Apply a single atomic proposition to a list of states.
void	ProbSystemHash.addLabelToStates(java.lang.String ap, IntervalList l) Adds a label associated to certain states of the system.
void	ProbSystemMtbdd.addLabelToStates(java.lang.String ap, IntervalList l) Permet d'ajouter une étiquette à certain états du système.
java.util.HashMap	ProbSystem.computeProbabilities(IntervalList list, java.lang.String act, Variable v, Parser p) Returns all the intervals and their associated repartition functions which can be reached from the IntervalList list using the action a.
java.util.HashMap	ProbSystemHash.computeProbabilities(IntervalList list, java.lang.String act, Variable v, Parser p) This function returns the intervals and their respective repartition function which are reachable using the states in the list of starting states using the action act.
java.util.HashMap	ProbSystemMtbdd.computeProbabilities(IntervalList list, java.lang.String act, Variable v, Parser p) Cette fonction donne les intervalles et les fonctions de répartition associées pour lesquels il est possible d'arrivé à partir de la list et avec l'action a.
static IntervalList	IntervalList.intersectionOf(IntervalList list1, IntervalList list2) Returns the intersection of two lists.
boolean	IntervalList.isIncluded(IntervalList smaller) Returns true if the smaller interval is included into the list or is equal
void	ProbSystem.removeLabelFromStates(java.lang.String ap, IntervalList l) Dissociates a list of intervals from an atomic proposition
void	ProbSystemHash.removeLabelFromStates(java.lang.String ap, IntervalList l) Dissociate an atomic proposition from the states
void	ProbSystemMtbdd.removeLabelFromStates(java.lang.String ap, IntervalList l) Enlève des etiquettes
void	ProbSystem.setStates(IntervalList newStateSpace) Sets all the possible states of the system.
void	ProbSystemHash.setStates(IntervalList newStateSpace) Sets all the possible states of the system.
void	ProbSystemMtbdd.setStates(IntervalList newStateSpace) Sets all the possible states of the system.
static IntervalList	IntervalList.substract(IntervalList s, IntervalList l) This methods compute the negation of the division of the two sets
static IntervalList	IntervalList.union(IntervalList list, Interval i) Compute the unification of an interval with a list.
static IntervalList	IntervalList.union(IntervalList list1, IntervalList list2) Unify two list of intervals.

Constructors in data with parameters of type IntervalList

IntervalList(IntervalList l)
Copy constructor ...

ProbSystemHash(double initialState, IntervalList statesList, int nbAct)
Initialize a new system from its starting state and its state space

ProbSystemMtbdd(double initialState, IntervalList statesList, int nbAct)
Initialize a new system from its initial state and its state space.

Uses of IntervalList in engin

Methods in engin that return IntervalList

IntervalList	Engin.getStatesVerifying(Formula f) Returns all the states verifying a formula using the system loaded in the engine.
IntervalList	Engin.getStatesVerifying(Formula f, int level) Returns all the states verifying a formula using the system loaded in the engine.
IntervalList	Engin.separation(java.util.HashMap fct, Variable var, double q) Returns all the x values for which the probability obtained from the probabilistic expression is greater than q.

Methods in engin with parameters of type IntervalList

java.util.HashMap

Engin.computeProbabilities(IntervalList list, java.lang.String act) Compute the probability P[a](x, list), i.e. the probability to reach a certain point of the list from any x point.

Uses of IntervalList in engin.event

Methods in engin.event that return IntervalList

IntervalList

EnginEvent.getStatesVerifying() Returns all the states that does verify the formula

Methods in engin.event with parameters of type IntervalList

void	EnginEvent.setStatesVerifying(IntervalList statesVerifying) Sets the state set that verifies the formula

Uses of IntervalList in ui

Methods in ui with parameters of type IntervalList

void	EnginTraceDialog.add(Formula f, IntervalList evaluation, int position) This class adds a single formula to the trace
void	EnginTraceDialog.add(Formula f, IntervalList evaluation, int position, IntervalList evaluationOperand1) This class adds a unitary operator
void	EnginTraceDialog.add(Formula f, IntervalList evaluation, int position, IntervalList evaluationOperand1, IntervalList evaluationOperand2) This class adds a binary operator

Uses of IntervalList in ui.components

Methods in ui.components that return IntervalList

IntervalList

AtomicPropositions.getStates() Returns the states associated with the labels.

Constructors in ui.components with parameters of type IntervalList

AtomicPropositions(java.lang.String label, IntervalList states)
Default constructor, initializes the initial state

StateSpace(IntervalList stateSpace)
Default constructor, initializes the initial state