FDR  4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
Class Hierarchy

Go to the graphical class hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 123]
 CFDR::Assertions::AssertionAn assertion about processes
 CFDR::Assertions::NegatedAssertionA negated assertion
 CFDR::Assertions::PropertyAssertionAn assertion about processes
 CFDR::Assertions::DeadlockFreeAssertionAn assertion that a process is deadlock free
 CFDR::Assertions::DeterministicAssertionAn assertion that the given machine is deterministic
 CFDR::Assertions::DivergenceFreeAssertionAn assertion that the given machine is divergence free
 CFDR::Assertions::HasTraceAssertionAn assertion that a process has a certain trace
 CFDR::Assertions::RefinementAssertionAn refinement assertion about two processes
 CFDR::Assertions::BehaviourA particular path through a Machine, often leading to an interesting state
 CFDR::Assertions::ExplicitDivergenceBehaviourA path to a state that is marked as explicitly divergent
 CFDR::Assertions::IrrelevantBehaviourA path that is irrelevant to debugging the current counterexample
 CFDR::Assertions::LoopBehaviourA behaviour that performs some trace, and then repeats a suffix
 CFDR::Assertions::MinAcceptanceBehaviourA Behaviour that events in a state with a disallowed minimal acceptance
 CFDR::Assertions::SegmentedBehaviourA behaviour of a machine that has been executed several times
 CFDR::Assertions::TraceBehaviourA Behaviour that indicates the machine performed a prohibited event
 CFDR::Assertions::CounterexampleA reason why an Assertion fails
 CFDR::Assertions::PropertyCounterexampleA counterexample to a property assertion, such as deadlock freedom
 CFDR::Assertions::DeadlockCounterexampleA counterexample demonstrating how a process can deadlock
 CFDR::Assertions::DivergenceCounterexampleA counterexample to a divergence freedom assertion
 CFDR::Assertions::RefinementCounterexampleA counterexample to a refinement assertion
 CFDR::Assertions::DeterminismCounterexampleA counterexample demonstrating non determinism in a process
 CFDR::Assertions::MinAcceptanceCounterexampleA counterexample demonstrating how a failures refinement check failed
 CFDR::Assertions::RefinementDivergenceCounterexampleA counterexample demonstrating how a process can diverge during a refinement check
 CFDR::Assertions::TraceCounterexampleA counterexample demonstrating how a trace refinement check failed
 CFDR::Assertions::DebugContextAllows counterexamples to be divided into behaviours of component processes
 CFDR::Assertions::ProgressRepresents progress through an assertion
 CFDR::Assertions::BFSRefinementProgressRepresents progress through a standard refinement check
 CFDR::CancellerAllows cancellation of a running task to be requested
 CFDR::Evaluator::EvaluatorResult< R >Represents the result of evaluating something
 CFDR::Evaluator::EventAn uncompiled event
 CFDR::Evaluator::ProcessNameThe name of a process in the input file
 CFDR::LTS::MachineA compiled state machine (a GLTS)
 CFDR::LTS::NodeA node (also known as state) in a GLTS
 CFDR::LTS::TransitionA single transition of a Machine
 CFDR::OptionA setting for FDR
 CFDR::PrintStatementA print statement in an input file
 CFDR::ProgressReporterRecieves status reports from FDR about ongoing tasks
 CFDR::FileProgressReporterA simple progress reporter that logs all progress reports to a file
 CFDR::StreamProgressReporterA progress reporter that sends reports to a stream
 CFDR::SessionEncapsulates information about an input file
 Cstd::hash< FDR::Evaluator::Event >
 Cstd::hash< FDR::Evaluator::ProcessName >
 Cstd::hash< FDR::LTS::Node >
 Cstd::hash< std::shared_ptr< FDR::Evaluator::Event > >
 Cstd::hash< std::shared_ptr< FDR::Evaluator::ProcessName > >
 Cstd::hash< std::shared_ptr< FDR::LTS::Node > >
 Cruntime_error
 CFDR::ErrorAn error thrown by libfdr
 CFDR::CancelledErrorThrown whenever a cancellation is detected
 CFDR::DisallowedOptionValueErrorThrown when an option is set to a disallowed value
 CFDR::FileLoadErrorThrown when a file could not be loaded for some reason
 CFDR::InputFileErrorThrown whenever an error in the user's input script is detected
 CFDR::UnknownOptionErrorThrown when an option is not known (i.e. the key is invalid)