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