19#ifndef MCRL2_LTS_LTS_AUT_H
20#define MCRL2_LTS_LTS_AUT_H
69class lts_aut_t :
public lts< state_label_empty, action_label_string, detail::lts_aut_base>
78 void load(
const std::string& filename);
84 void load(std::istream& is);
90 void save(
const std::string& filename)
const;
101 mcrl2::lts::probabilistic_state<std::size_t, mcrl2::utilities::probabilistic_arbitrary_precision_fraction>,
102 detail::lts_aut_base>
111 void load(
const std::string& filename);
117 void load(std::istream& is);
123 void save(
const std::string& filename)
const;
This file contains a class that contains labelled transition systems in aut format.
void swap(lts_aut_base &)
Standard swap function.
lts_type type()
Provides the type of this lts, in casu lts_aut.
bool operator==(const lts_aut_base &) const
Standard equality function.
A simple labelled transition format with only strings as action labels.
void load(const std::string &filename)
Load the labelled transition system from a file.
void save(const std::string &filename) const
Save the labelled transition system to file.
A class that contains a labelled transition system.
A simple labelled transition format with only strings as action labels.
void load(const std::string &filename)
Load the labelled transition system from a file.
void save(const std::string &filename) const
Save the labelled transition system to file.
A class that contains a labelled transition system.
lts_type
The enumerated type lts_type contains an index for every type type of labelled transition system that...
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...
This file contains a class that contains labels for probabilistic transitions. These consist of a 64 ...
The file containing the core class for transition systems.
This file contains the class with empty state labels.