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 | |