Documentation by YARD 0.9.45

Alphabetic Index

File Listing

README

Namespace Listing A-Z

A

ActiveLearner (Bparity::Formal)
Adapter (Bparity)
Adequacy (Bparity)
AldebaranExporter (Bparity::Formal)
Analyzer (Bparity::Adequacy)
Assumptions (Bparity::Formal)
AssuranceMatrix (Bparity::Reporting)

B

Boundary (Bparity)
BoundedCounterexampleRSpec (Bparity::Formal)
Bparity

C

CLI (Bparity)
CanonicalizationDsl (Bparity::Boundary)
Canonicalizer (Bparity::Recording)
Checksum (Bparity::SpecBundle)
Comparator (Bparity::Verification)
ConfigurationError (Bparity)
Context (Bparity::Recording)
ContractChecker (Bparity::Formal)
ContractCompiler (Bparity::Formal)
Corpus (Bparity)
CounterexampleRSpec (Bparity::Formal)
CounterexampleRSpec (Bparity::Formal::Deductive)
CoverageReconciler (Bparity::Adequacy)
CoverageTracker (Bparity::Recording)

D

Deductive (Bparity::Formal)
Definition (Bparity::Adapter)
Definition (Bparity::Boundary)
Determinism (Bparity::Recording)
Differ (Bparity::Verification)
DifferentialRunner (Bparity::Formal)
Domain (Bparity::Formal)
DynamicCodeDetector (Bparity::Formal::Assumptions)

E

Error (Bparity)
ExhaustiveRunner (Bparity::Formal)
External (Bparity::Adapter)
External (Bparity::Boundary)
ExternalProbe (Bparity::Verification)

F

Formal (Bparity)
FormalCommands (Bparity)
FormalDsl (Bparity::Boundary)
FragmentChecker (Bparity::Formal::Deductive)

H

Hook (Bparity::Formal::Assumptions::RuntimeMonitor)

I

InputGenerator (Bparity::Formal)
InvalidBundleError (Bparity)
InvariantMiner (Bparity::Synthesis)

K

KoratEnumerator (Bparity::Formal)

L

LTS (Bparity::Formal)
LearnedModel (Bparity::Formal)
Loader (Bparity::SpecBundle)
LtsEncoding (Bparity::Formal)
LtsEquivalence (Bparity::Formal)

M

MetamorphicDetector (Bparity::Synthesis)
MinitestDriver (Bparity::Recording)
ModelParser (Bparity::Formal::Deductive)
MutantBridge (Bparity::Adequacy)

O

ObservedOutput (Bparity::Formal)
Operation (Bparity::Adapter)
OperationDsl (Bparity::Adapter)

P

PassiveLearner (Bparity::Formal)
ProductProgram (Bparity::Formal::Deductive)
PropertyRunner (Bparity::Formal)

R

Reader (Bparity::Corpus)
Recorder (Bparity::Recording)
Recording (Bparity)
Reporter (Bparity::Reporting)
Reporting (Bparity)
Result (Bparity::Verification)
Result (Bparity::Formal)
RubyToSmt (Bparity::Formal::Deductive)
Runner (Bparity::Verification)
Runner (Bparity::Formal::Deductive)
RuntimeMonitor (Bparity::Formal::Assumptions)

S

Scope (Bparity::Formal)
Serializer (Bparity::Recording)
SingletonHook (Bparity::Formal::Assumptions::RuntimeMonitor)
SpecBundle (Bparity)
StaticExtractor (Bparity::Synthesis)
Subject (Bparity::Adapter)
Subject (Bparity::Boundary)
Synthesis (Bparity)
Synthesizer (Bparity::Synthesis)

T

Term (Bparity::Formal::Deductive)
TestHook (Bparity::Recording::MinitestDriver)
TraceReplay (Bparity::Verification)
Transition (Bparity::Formal)
Translation (Bparity::Formal::Deductive)
TranslationValidator (Bparity::Formal::Deductive)

V

Validation (Bparity::Formal::Deductive)
Validator (Bparity::SpecBundle)
ValueEnumerator (Bparity::Formal)
Verification (Bparity)
VerificationCommands (Bparity)
VerificationError (Bparity)

W

WMethod (Bparity::Formal)
Waiver (Bparity::Adapter)
WorldFreeze (Bparity::Formal::Assumptions)
Writer (Bparity::Corpus)
Writer (Bparity::SpecBundle)

Z

Z3 (Bparity::Formal::Deductive)