FDR::Session Member List

This is the complete list of members for FDR::Session, including all inherited members.
assertions() const FDR::Session
Assertions::Assertion (defined in FDR::Session)FDR::Session [friend]
Assertions::DeadlockFreeAssertion (defined in FDR::Session)FDR::Session [friend]
Assertions::DeterministicAssertion (defined in FDR::Session)FDR::Session [friend]
Assertions::DivergenceFreeAssertion (defined in FDR::Session)FDR::Session [friend]
Assertions::HasTraceAssertion (defined in FDR::Session)FDR::Session [friend]
Assertions::RefinementAssertion (defined in FDR::Session)FDR::Session [friend]
compile_event(const std::shared_ptr< Evaluator::Event > &event) const FDR::Session
evaluate_expression(const std::string &expression, Canceller *canceller) const FDR::Session
evaluate_process(const std::string &expression, const LTS::SemanticModel semantic_model, Canceller *canceller) const FDR::Session
load_file(const std::string &file_path)FDR::Session
load_strings_as_file(const std::string &root_file_path, const std::map< std::string, std::string > &file_contents)FDR::Session
machine_name(const LTS::Machine &machine) const FDR::Session
machine_node_name(const LTS::Machine &machine, const LTS::Node &node) const FDR::Session
operator=(const Session &) (defined in FDR::Session)FDR::Session
parse_assertion(const std::string &assertion) const FDR::Session
print_statements() const FDR::Session
Session()FDR::Session
Session(const Session &) (defined in FDR::Session)FDR::Session
uncompile_event(const LTS::CompiledEvent event) const FDR::Session
uncompile_events(const std::vector< LTS::CompiledEvent > &events) const FDR::Session
~Session() (defined in FDR::Session)FDR::Session
 All Classes Functions

Generated on 27 Oct 2017 for FDR by  doxygen 1.6.1