FDR::Assertions::Assertion | An assertion about processes |
FDR::Assertions::Behaviour | A particular path through a Machine, often leading to an interesting state |
FDR::Assertions::BFSRefinementProgress | Represents progress through a standard refinement check |
FDR::Assertions::Counterexample | A reason why an Assertion fails |
FDR::Assertions::DeadlockCounterexample | A counterexample demonstrating how a process can deadlock |
FDR::Assertions::DeadlockFreeAssertion | An assertion that a process is deadlock free |
FDR::Assertions::DebugContext | Allows counterexamples to be divided into behaviours of component processes |
FDR::Assertions::DeterminismCounterexample | A counterexample demonstrating non determinism in a process |
FDR::Assertions::DeterministicAssertion | An assertion that the given machine is deterministic |
FDR::Assertions::DivergenceCounterexample | A counterexample to a divergence freedom assertion |
FDR::Assertions::DivergenceFreeAssertion | An assertion that the given machine is divergence free |
FDR::Assertions::ExplicitDivergenceBehaviour | A path to a state that is marked as explicitly divergent |
FDR::Assertions::HasTraceAssertion | An assertion that a process has a certain trace |
FDR::Assertions::IrrelevantBehaviour | A path that is irrelevant to debugging the current counterexample |
FDR::Assertions::LoopBehaviour | A behaviour that performs some trace, and then repeats a suffix |
FDR::Assertions::MinAcceptanceBehaviour | A Behaviour that events in a state with a disallowed minimal acceptance |
FDR::Assertions::MinAcceptanceCounterexample | A counterexample demonstrating how a failures refinement check failed |
FDR::Assertions::NegatedAssertion | A negated assertion |
FDR::Assertions::Progress | Represents progress through an assertion |
FDR::Assertions::PropertyAssertion | An assertion about processes |
FDR::Assertions::PropertyCounterexample | A counterexample to a property assertion, such as deadlock freedom |
FDR::Assertions::RefinementAssertion | An refinement assertion about two processes |
FDR::Assertions::RefinementCounterexample | A counterexample to a refinement assertion |
FDR::Assertions::RefinementDivergenceCounterexample | A counterexample demonstrating how a process can diverge during a refinement check |
FDR::Assertions::SegmentedBehaviour | A behaviour of a machine that has been executed several times |
FDR::Assertions::TraceBehaviour | A Behaviour that indicates the machine performed a prohibited event |
FDR::Assertions::TraceCounterexample | A counterexample demonstrating how a trace refinement check failed |
FDR::CancelledError | Thrown whenever a cancellation is detected |
FDR::Canceller | Allows cancellation of a running task to be requested |
FDR::DisallowedOptionValueError | Thrown when an option is set to a disallowed value |
FDR::Error | An error thrown by libfdr |
FDR::Evaluator::EvaluatorResult< R > | Represents the result of evaluating something |
FDR::Evaluator::Event | An uncompiled event |
FDR::Evaluator::ProcessName | The name of a process in the input file |
FDR::FileLoadError | Thrown when a file could not be loaded for some reason |
FDR::FileProgressReporter | A simple progress reporter that logs all progress reports to a file |
FDR::InputFileError | Thrown whenever an error in the user's input script is detected |
FDR::LTS::Machine | A compiled state machine (a GLTS) |
FDR::LTS::Node | A node (also known as state) in a GLTS |
FDR::LTS::Transition | A single transition of a Machine |
FDR::Option | A setting for FDR |
FDR::PrintStatement | A print statement in an input file |
FDR::ProgressReporter | Recieves status reports from FDR about ongoing tasks |
FDR::Session | Encapsulates information about an input file |
FDR::StreamProgressReporter | A progress reporter that sends reports to a stream |
FDR::UnknownOptionError | Thrown 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 > > |