22 #include <spot/kripke/kripke.hh> 23 #include <spot/tl/apcollect.hh> 27 struct spins_interface;
72 int compress = 0)
const;
75 int state_size()
const;
77 const char* state_variable_name(
int var)
const;
79 int state_variable_type(
int var)
const;
81 int type_count()
const;
83 const char* type_name(
int type)
const;
85 int type_value_count(
int type);
87 const char* type_value_name(
int type,
int val);
90 ltsmin_model(std::shared_ptr<const spins_interface> iface) : iface(iface)
93 std::shared_ptr<const spins_interface> iface;
Definition: automata.hh:26
Interface for a Kripke structure.
Definition: kripke.hh:90
std::set< formula > atomic_prop_set
Set of atomic propositions.
Definition: apcollect.hh:36