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 &) (defined in FDR::LTS::Machine) | FDR::LTS::Machine | |
minimal_acceptances(const Node &node) const =0 | FDR::LTS::Machine | [pure virtual] |
operator=(const Machine &machine) (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 | [inline, virtual] |