FDR  4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
FDR::LTS::Machine Member List

This is the complete list of members for FDR::LTS::Machine, including all inherited members.

afters(const Node &node, const CompiledEvent event) const =0FDR::LTS::Machinepure virtual
alphabet(bool include_tau) const =0FDR::LTS::Machinepure virtual
has_divergence_labellings() const =0FDR::LTS::Machinepure virtual
has_minimal_acceptance_labellings() const =0FDR::LTS::Machinepure virtual
initials(const Node &node) const =0FDR::LTS::Machinepure virtual
is_divergent(const Node &node, Canceller *canceller) const =0FDR::LTS::Machinepure virtual
is_explicitly_divergent(const Node &node) const =0FDR::LTS::Machinepure virtual
Machine() (defined in FDR::LTS::Machine)FDR::LTS::Machineinline
Machine(const Machine &)=delete (defined in FDR::LTS::Machine)FDR::LTS::Machine
minimal_acceptances(const Node &node) const =0FDR::LTS::Machinepure virtual
operator=(const Machine &machine)=delete (defined in FDR::LTS::Machine)FDR::LTS::Machine
root_node() const =0FDR::LTS::Machinepure virtual
transitions(const Node &node) const =0FDR::LTS::Machinepure virtual
~Machine() (defined in FDR::LTS::Machine)FDR::LTS::Machineinlinevirtual