spot  2.3.3.dev
spot::ltsmin_model Member List

This is the complete list of members for spot::ltsmin_model, including all inherited members.

interpolate_csv(ltsmin_kripkecube_ptr sys, std::function< bool(unsigned, unsigned)> fitness, std::string algoname) (defined in spot::ltsmin_model)spot::ltsmin_modelstatic
kripke(const atomic_prop_set *to_observe, bdd_dict_ptr dict, formula dead=formula::tt(), int compress=0) const (defined in spot::ltsmin_model)spot::ltsmin_model
kripkecube(std::vector< std::string > to_observe, formula dead=formula::tt(), int compress=0, unsigned int nb_threads=1) const (defined in spot::ltsmin_model)spot::ltsmin_model
load(const std::string &file) (defined in spot::ltsmin_model)spot::ltsmin_modelstatic
modelcheck(ltsmin_kripkecube_ptr sys, spot::twacube_ptr twa, bool compute_ctrx=false)spot::ltsmin_modelstatic
state_size() constspot::ltsmin_model
state_variable_name(int var) constspot::ltsmin_model
state_variable_type(int var) constspot::ltsmin_model
swarmed_dfs(ltsmin_kripkecube_ptr sys, std::string name) (defined in spot::ltsmin_model)spot::ltsmin_modelstatic
swarmed_gp_dfs(ltsmin_kripkecube_ptr sys, std::function< bool(unsigned, unsigned)> fitness, std::string name) (defined in spot::ltsmin_model)spot::ltsmin_modelstatic
type_count() constspot::ltsmin_model
type_name(int type) constspot::ltsmin_model
type_value_count(int type)spot::ltsmin_model
type_value_name(int type, int val)spot::ltsmin_model
~ltsmin_model() (defined in spot::ltsmin_model)spot::ltsmin_model

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Apr 18 2017 14:42:57 for spot by doxygen 1.8.13