Uses of Interface
data.ProbSystem

Packages that use ProbSystem

data
engin

Uses of ProbSystem in data

Classes in data that implement ProbSystem

class	ProbSystemHash ProbSystem Hash This class represents a probabilistic system constructed using hash table structures.
class	ProbSystemMtbdd ProbSystem MTBDD This class represents a probabilistic system constructed using MTBDD data structures.

Uses of ProbSystem in engin

Methods in engin that return ProbSystem

ProbSystem

Engin.getProbSystem() Returns the probabilistic on which the engine performs the computations

Methods in engin with parameters of type ProbSystem

void	Engin.libere(ProbSystem s) Free the memory used by the previous probabilitic system.
boolean	Engin.satisfies(ProbSystem s, Formula f) Checks wether of not a probabilistic system does verify a formula.
void	Engin.setProbSystem(ProbSystem s) This method replace the currently attached probabilistic system with a new one.