FDR
4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
|
This is the complete list of members for FDR::LTS::Machine, including all inherited members.
afters(const Node &node, const CompiledEvent event) const =0 | FDR::LTS::Machine | pure virtual |
alphabet(bool include_tau) const =0 | FDR::LTS::Machine | pure virtual |
has_divergence_labellings() const =0 | FDR::LTS::Machine | pure virtual |
has_minimal_acceptance_labellings() const =0 | FDR::LTS::Machine | pure virtual |
initials(const Node &node) const =0 | FDR::LTS::Machine | pure virtual |
is_divergent(const Node &node, Canceller *canceller) const =0 | FDR::LTS::Machine | pure virtual |
is_explicitly_divergent(const Node &node) const =0 | FDR::LTS::Machine | pure virtual |
Machine() (defined in FDR::LTS::Machine) | FDR::LTS::Machine | inline |
Machine(const Machine &)=delete (defined in FDR::LTS::Machine) | FDR::LTS::Machine | |
minimal_acceptances(const Node &node) const =0 | FDR::LTS::Machine | pure virtual |
operator=(const Machine &machine)=delete (defined in FDR::LTS::Machine) | FDR::LTS::Machine | |
root_node() const =0 | FDR::LTS::Machine | pure virtual |
transitions(const Node &node) const =0 | FDR::LTS::Machine | pure virtual |
~Machine() (defined in FDR::LTS::Machine) | FDR::LTS::Machine | inlinevirtual |