Uses of Class
exceptions.ProbSystemException

Packages that use ProbSystemException

data
engin

Uses of ProbSystemException in data

Methods in data that throw ProbSystemException

void	ProbSystem.addLabelToStates(java.util.HashMap map) Apply all the label associations contained in the map table to the states.
void	ProbSystemHash.addLabelToStates(java.util.HashMap map) Associate several labels to states using an association table
void	ProbSystemMtbdd.addLabelToStates(java.util.HashMap map) Ajoute plusieurs étiquettes
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.
void	ProbSystem.addTransition(Transition t) Add a new transition to the system
void	ProbSystemHash.addTransition(Transition t) Adds a transition to the system and the associations if the transition is not already present in the system.
void	ProbSystemMtbdd.addTransition(Transition t) Ajoute la transition ainsi que les associations si la transition n'est pas déja dans le système.
void	ProbSystem.addTransition(Transition t, boolean verify) Add a new transition to the system, but the system integrity verification can be skipped to accelerate loading.
void	ProbSystemHash.addTransition(Transition t, boolean verify) Adds a transition to the system and the associations if the transition is not already present in the system.
void	ProbSystemMtbdd.addTransition(Transition t, boolean verify) Ajoute la transition ainsi que les associations si la transition n'est pas déja dans le système.

Uses of ProbSystemException in engin

Methods in engin that throw ProbSystemException

java.lang.String	Engin.loadFormula(java.io.File file) Loads the formula history from the specified file
void	Engin.loadProbSystem(java.io.File filename) Loads a probabilistic system from a file.
void	Engin.loadProbSystem(java.io.Reader reader, int numberOfLines) Loads a probabilistic system from a reader.
void	Engin.loadProbSystem(java.lang.String s) Loads a probabilistic system from a string.