Class List

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

Generated on 27 Oct 2017 for FDR by  doxygen 1.6.1