Table of Contents - state_machine_checker-0.1.1 Documentation
Classes and Modules
Methods
-
::new
—
StateMachineChecker::Adapters::StateMachines
-
::new
—
StateMachineChecker::CheckResult
-
::new
—
StateMachineChecker::CTL::And
-
::new
—
StateMachineChecker::CTL::Atom
-
::new
—
StateMachineChecker::CTL::BinaryFormula
-
::new
—
StateMachineChecker::CTL::Or
-
::new
—
StateMachineChecker::CTL::UnaryOperator
-
::new
—
StateMachineChecker::FiniteStateMachine
-
::new
—
StateMachineChecker::LabeledMachine
-
::new
—
StateMachineChecker::Labeling
-
::new
—
StateMachineChecker::RspecMatchers::SatisfyMatcher
-
::new
—
StateMachineChecker::StateResult
-
::new
—
StateMachineChecker::Transition
-
#==
—
StateMachineChecker::Transition
-
#AF
—
StateMachineChecker::CTL::API
-
#AG
—
StateMachineChecker::CTL::API
-
#AU
—
StateMachineChecker::CTL::Formula
-
#AX
—
StateMachineChecker::CTL::API
-
#EF
—
StateMachineChecker::CTL::API
-
#EG
—
StateMachineChecker::CTL::API
-
#EU
—
StateMachineChecker::CTL::Formula
-
#EX
—
StateMachineChecker::CTL::API
-
#and
—
StateMachineChecker::CTL::Formula
-
#and
—
StateMachineChecker::StateResult
-
#apply
—
StateMachineChecker::CTL::Atom
-
#assign
—
StateMachineChecker::CTL::EG
-
#atom
—
StateMachineChecker::CTL::API
-
#atom_or_formula
—
StateMachineChecker::CTL::Formula
-
#atom_or_formula
—
StateMachineChecker::CTL::API
-
#atoms
—
StateMachineChecker::CTL::And
-
#atoms
—
StateMachineChecker::CTL::Atom
-
#atoms
—
StateMachineChecker::CTL::BinaryFormula
-
#atoms
—
StateMachineChecker::CTL::Or
-
#atoms
—
StateMachineChecker::CTL::UnaryOperator
-
#build_check_result
—
StateMachineChecker::CTL::EG
-
#build_labeled_machine
—
StateMachineChecker
-
#build_map
—
StateMachineChecker::Labeling
-
#check
—
StateMachineChecker::CTL::AF
-
#check
—
StateMachineChecker::CTL::AG
-
#check
—
StateMachineChecker::CTL::AU
-
#check
—
StateMachineChecker::CTL::AX
-
#check
—
StateMachineChecker::CTL::And
-
#check
—
StateMachineChecker::CTL::Atom
-
#check
—
StateMachineChecker::CTL::EF
-
#check
—
StateMachineChecker::CTL::EG
-
#check
—
StateMachineChecker::CTL::EU
-
#check
—
StateMachineChecker::CTL::EX
-
#check
—
StateMachineChecker::CTL::Implication
-
#check
—
StateMachineChecker::CTL::Not
-
#check
—
StateMachineChecker::CTL::Or
-
#check_satisfied
—
StateMachineChecker
-
#counterexample
—
StateMachineChecker::StateResult
-
#depth_first_search
—
StateMachineChecker::FiniteStateMachine
-
#description
—
StateMachineChecker::RspecMatchers::SatisfyMatcher
-
#diffable?
—
StateMachineChecker::RspecMatchers::SatisfyMatcher
-
#eql?
—
StateMachineChecker::Transition
-
#execute
—
StateMachineChecker::Transition
-
#failure_message
—
StateMachineChecker::RspecMatchers::SatisfyMatcher
-
#failure_message_when_negated
—
StateMachineChecker::RspecMatchers::SatisfyMatcher
-
#for_state
—
StateMachineChecker::CheckResult
-
#for_state
—
StateMachineChecker::Labeling
-
#hash
—
StateMachineChecker::Transition
-
#hash_attributes
—
StateMachineChecker::Transition
-
#implies
—
StateMachineChecker::CTL::Formula
-
#initial_state
—
StateMachineChecker::Adapters::StateMachines
-
#initial_state
—
StateMachineChecker::LabeledMachine
-
#instance_from_transitions
—
StateMachineChecker::Labeling
-
#intersection
—
StateMachineChecker::CheckResult
-
#labels_for_state
—
StateMachineChecker::LabeledMachine
-
#machine_name
—
StateMachineChecker::RspecMatchers::SatisfyMatcher
-
#map
—
StateMachineChecker::CheckResult
-
#matches?
—
StateMachineChecker::RspecMatchers::SatisfyMatcher
-
#neg
—
StateMachineChecker::CTL::API
-
#or
—
StateMachineChecker::CTL::Formula
-
#or
—
StateMachineChecker::StateResult
-
#rec_traverse
—
StateMachineChecker::FiniteStateMachine
-
#satisfied?
—
StateMachineChecker::StateResult
-
#satisfy
—
StateMachineChecker::RspecMatchers
-
#scc_loop
—
StateMachineChecker::CTL::EG
-
#state_paths
—
StateMachineChecker::FiniteStateMachine
-
#states
—
StateMachineChecker::FiniteStateMachine
-
#states
—
StateMachineChecker::LabeledMachine
-
#strongly_connected_components
—
StateMachineChecker::CTL::EG
-
#subformula_projection
—
StateMachineChecker::CTL::EG
-
#supports_block_expectations?
—
StateMachineChecker::RspecMatchers::SatisfyMatcher
-
#to_h
—
StateMachineChecker::CheckResult
-
#to_s
—
StateMachineChecker::CTL::AF
-
#to_s
—
StateMachineChecker::CTL::AG
-
#to_s
—
StateMachineChecker::CTL::AU
-
#to_s
—
StateMachineChecker::CTL::AX
-
#to_s
—
StateMachineChecker::CTL::And
-
#to_s
—
StateMachineChecker::CTL::Atom
-
#to_s
—
StateMachineChecker::CTL::EF
-
#to_s
—
StateMachineChecker::CTL::EG
-
#to_s
—
StateMachineChecker::CTL::EU
-
#to_s
—
StateMachineChecker::CTL::EX
-
#to_s
—
StateMachineChecker::CTL::Implication
-
#to_s
—
StateMachineChecker::CTL::Not
-
#to_s
—
StateMachineChecker::CTL::Or
-
#transitions
—
StateMachineChecker::Adapters::StateMachines
-
#transitions
—
StateMachineChecker::LabeledMachine
-
#transitions_from
—
StateMachineChecker::FiniteStateMachine
-
#transitions_from
—
StateMachineChecker::LabeledMachine
-
#transitions_to
—
StateMachineChecker::FiniteStateMachine
-
#transitions_to
—
StateMachineChecker::LabeledMachine
-
#traverse
—
StateMachineChecker::FiniteStateMachine
-
#traverse
—
StateMachineChecker::LabeledMachine
-
#union
—
StateMachineChecker::CheckResult
-
#visit
—
StateMachineChecker::CTL::EG
-
#witness
—
StateMachineChecker::StateResult