FDR  4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
File List
Here is a list of all documented files with brief descriptions:
[detail level 123456]
  libfdr
  include
  fdr
  assertions
  behaviour
 behaviour.h
 explicit_divergence_behaviour.h
 irrelevant_behaviour.h
 loop_behaviour.h
 min_acceptance_behaviour.h
 segmented_behaviour.h
 trace_behaviour.h
  counterexample
 counterexample.h
 deadlock_counterexample.h
 determinism_counterexample.h
 divergence_counterexample.h
 min_acceptance_counterexample.h
 property_counterexample.h
 refinement_counterexample.h
 refinement_divergence_counterexample.h
 trace_counterexample.h
 assertion.h
 deadlock_free_assertion.h
 debug_context.h
 deterministic_assertion.h
 divergence_free_assertion.h
 has_trace_assertion.h
 negated_assertion.h
 progress.h
 property_assertion.h
 refinement_assertion.h
  evaluator
 evaluator_result.h
 event.h
 process_name.h
  lts
 events.h
 machine.h
 node.h
 semantic_model.h
  tasks
 canceller.h
 progress_reporter.h
 error.h
 fdr.h
 library.h
 option.h
 session.h