| ▼NFDR | |
| ▼NAssertions | |
| CAssertion | An assertion about processes |
| CBehaviour | A particular path through a Machine, often leading to an interesting state |
| CBFSRefinementProgress | Represents progress through a standard refinement check |
| CCounterexample | A reason why an Assertion fails |
| CDeadlockCounterexample | A counterexample demonstrating how a process can deadlock |
| CDeadlockFreeAssertion | An assertion that a process is deadlock free |
| CDebugContext | Allows counterexamples to be divided into behaviours of component processes |
| CDeterminismCounterexample | A counterexample demonstrating non determinism in a process |
| CDeterministicAssertion | An assertion that the given machine is deterministic |
| CDivergenceCounterexample | A counterexample to a divergence freedom assertion |
| CDivergenceFreeAssertion | An assertion that the given machine is divergence free |
| CExplicitDivergenceBehaviour | A path to a state that is marked as explicitly divergent |
| CHasTraceAssertion | An assertion that a process has a certain trace |
| CIrrelevantBehaviour | A path that is irrelevant to debugging the current counterexample |
| CLoopBehaviour | A behaviour that performs some trace, and then repeats a suffix |
| CMinAcceptanceBehaviour | A Behaviour that events in a state with a disallowed minimal acceptance |
| CMinAcceptanceCounterexample | A counterexample demonstrating how a failures refinement check failed |
| CNegatedAssertion | A negated assertion |
| CProgress | Represents progress through an assertion |
| CPropertyAssertion | An assertion about processes |
| CPropertyCounterexample | A counterexample to a property assertion, such as deadlock freedom |
| CRefinementAssertion | An refinement assertion about two processes |
| CRefinementCounterexample | A counterexample to a refinement assertion |
| CRefinementDivergenceCounterexample | A counterexample demonstrating how a process can diverge during a refinement check |
| CSegmentedBehaviour | A behaviour of a machine that has been executed several times |
| CTraceBehaviour | A Behaviour that indicates the machine performed a prohibited event |
| CTraceCounterexample | A counterexample demonstrating how a trace refinement check failed |
| ▼NEvaluator | |
| CEvaluatorResult | Represents the result of evaluating something |
| CEvent | An uncompiled event |
| CProcessName | The name of a process in the input file |
| ▼NLTS | |
| CMachine | A compiled state machine (a GLTS) |
| CNode | A node (also known as state) in a GLTS |
| CTransition | A single transition of a Machine |
| CCancelledError | Thrown whenever a cancellation is detected |
| CCanceller | Allows cancellation of a running task to be requested |
| CDisallowedOptionValueError | Thrown when an option is set to a disallowed value |
| CError | An error thrown by libfdr |
| CFileLoadError | Thrown when a file could not be loaded for some reason |
| CFileProgressReporter | A simple progress reporter that logs all progress reports to a file |
| CInputFileError | Thrown whenever an error in the user's input script is detected |
| COption | A setting for FDR |
| CPrintStatement | A print statement in an input file |
| CProgressReporter | Recieves status reports from FDR about ongoing tasks |
| CSession | Encapsulates information about an input file |
| CStreamProgressReporter | A progress reporter that sends reports to a stream |
| CUnknownOptionError | Thrown when an option is not known (i.e. the key is invalid) |
| ▼Nstd | |
| Chash< FDR::Evaluator::Event > | |
| Chash< FDR::Evaluator::ProcessName > | |
| Chash< FDR::LTS::Node > | |
| Chash< std::shared_ptr< FDR::Evaluator::Event > > | |
| Chash< std::shared_ptr< FDR::Evaluator::ProcessName > > | |
| Chash< std::shared_ptr< FDR::LTS::Node > > | |
