Method List

Classes Methods Files

Search:

#+ PgVerify::Model::VariableSet
#<< PgVerify::Model::VariableSet
#[] PgVerify::Simulation::State
#[] PgVerify::Model::VariableSet
#[]= PgVerify::Simulation::State
#action PgVerify::Interpret::TransitionContext
#action PgVerify::Model::Transition
addon_dir PgVerify
#after PgVerify::Interpret::LTLBuilder
#after_until PgVerify::Interpret::LTLBuilder
ago_h PgVerify::TimeUtil
#all_variables PgVerify::Model::Graph
#allocations PgVerify::Model::AllocationSet
#assigned_variable PgVerify::Model::Expression
#assigned_variable PgVerify::Model::Assignment
#assigned_variables PgVerify::Model::ParsedExpression
#assignment? PgVerify::Model::Expression
#assuming PgVerify::Interpret::SpecSetContext
#assumption PgVerify::Model::SpecSet
#assumption PgVerify::Interpret::SpecSetContext
#ast PgVerify::EbnfParser::ParserResult
#ast PgVerify::EbnfParser::ExpressionParser
#ast PgVerify::EbnfParser::ExpressionParser2
attach PgVerify::Colorizer
auto_complete PgVerify::StringUtil
#before PgVerify::Interpret::LTLBuilder
#between PgVerify::Interpret::LTLBuilder
#bg_color_unique PgVerify::Colorizer
#blank? Array
#blank? NilClass
#blank? String
#build PgVerify::Interpret::LTLBuilder::LTLBuilderBase
#c_bold PgVerify::Colorizer
#c_italic PgVerify::Colorizer
#c_none PgVerify::Colorizer
#c_underline PgVerify::Colorizer
#calc_illegal_allocations PgVerify::Model::Expression
#calc_minimal_critical_sets PgVerify::Model::DCCA
#camel_case String
#cause PgVerify::Interpret::InterpretError
check PgVerify::Doctor
#check! PgVerify::EbnfParser::ParserResult
check_01_Can_find_NuSMV PgVerify::Doctor
check_02_Can_run_NuSMV PgVerify::Doctor
check_03_Run_integration_tests PgVerify::Doctor
check_04_Check_project_files PgVerify::Doctor
#children PgVerify::Interpret::SpecSetContext
#children PgVerify::Model::SpecSet
#clone PgVerify::Simulation::State
#color PgVerify::Colorizer
color? PgVerify::Colorizer
#color_bg PgVerify::Colorizer
#color_regex PgVerify::Colorizer
#color_unique PgVerify::Colorizer
command_exists? PgVerify::Core::CMDRunner
#components PgVerify::Model::Graph
#components PgVerify::Interpret::GraphContext
#constname? PgVerify::Model::VariableSet
convert_file PgVerify::Puml
#data PgVerify::Shell::LoadingPrompt::LoadingResult
#dcca PgVerify::Cli::BaseCommand
define_methods PgVerify::Colorizer
#delete_prefix String
#directory? String
#disable_error PgVerify::Interpret::GraphContext
#display_length String
#doctor PgVerify::Cli::BaseCommand
drop_into_shell PgVerify::Core::CMDRunner
duration_string PgVerify::TimeUtil
duration_to_h PgVerify::TimeUtil
empty PgVerify::Model::Specification
#empty? PgVerify::Model::VariableSet
#error PgVerify::EbnfParser::ParserResult
#error PgVerify::Interpret::GraphContext
#error? PgVerify::EbnfParser::ParserResult
#eval_expression PgVerify::Simulation::Simulator
#eval_file PgVerify::NuSMV::Runner
#eval_nusmv PgVerify::NuSMV::Runner
#exists PgVerify::Interpret::LTLBuilder::LTLBuilderAfter
#exists PgVerify::Interpret::LTLBuilder::LTLBuilderBefore
#exists PgVerify::Interpret::LTLBuilder::LTLBuilderGlobally
exit_on_failure? PgVerify::Cli::BaseCommand
expand_to_console PgVerify::Shell
#expression PgVerify::Model::Spec
#expression PgVerify::Model::Hazard
#expression PgVerify::Interpret::SpecContext
#expression PgVerify::Model::Assignment
#expression_string PgVerify::Model::ParsedExpression
#expression_string PgVerify::Model::Expression
#failure? PgVerify::Model::VariableState
#failure? PgVerify::Model::SpecResult
#fault_components PgVerify::Model::Graph
#file PgVerify::Model::SourceLocation
#file? String
#filter_allocation_set PgVerify::Model::Expression
#find_next_transitions PgVerify::Simulation::Simulator
#find_nusmv_path PgVerify::NuSMV::Runner
find_path PgVerify::Puml
#find_source_location PgVerify::Interpret::PgScript
#find_variables PgVerify::EbnfParser::Ast
#flatten PgVerify::Model::Specification
for_variable_set PgVerify::Simulation::State
#format_cause PgVerify::Interpret::InterpretError
#format_line PgVerify::Shell::LineAnimation
#formatted PgVerify::Interpret::InvalidDSL_transition
#formatted PgVerify::Interpret::InvalidDSL_expression
#formatted PgVerify::Core::CMDRunner::CMDRunnerError
#formatted PgVerify::Interpret::NoSuchStateError
#formatted PgVerify::Doctor::DoctorError
#formatted PgVerify::Interpret::InvalidDSL_var
#formatted PgVerify::NoDefaultFileError
#formatted PgVerify::Interpret::NoSuchScriptError
#formatted PgVerify::Interpret::InvalidDSL_model
#formatted PgVerify::Model::Validation::AssignmentToStateVariableError
#formatted PgVerify::Model::Validation::DeadlockInFSMError
#formatted PgVerify::NuSMV::RawNuSMVError
#formatted PgVerify::Model::Validation::UnknownTokenError
#formatted PgVerify::Interpret::InvalidDSL_state
#formatted PgVerify::Model::Validation::EmptyStateSetError
#formatted PgVerify::Core::Error
#formatted PgVerify::Interpret::InvalidDSL_graph
#formatted PgVerify::NoSuchFileError
#formatted PgVerify::Interpret::InterpretError
#formatted PgVerify::Model::Validation::ForeignVariableAssignmentError
#formatted PgVerify::Model::Validation::ValidationError
#formatted PgVerify::Model::Validation::UnknownVariableError
from_string PgVerify::Model::Assignment
from_timestamp PgVerify::TimeUtil
gen_prompt PgVerify::Shell
#get PgVerify::Model::VariableSet
#get_binding PgVerify::Interpret::PgScript
#get_specs PgVerify::Model::SpecSet
#get_specs PgVerify::Model::Specification
#global PgVerify::Interpret::LTLBuilder::LTLBuilderAfter
#global PgVerify::Interpret::LTLBuilder::LTLBuilderGlobally
#global PgVerify::Interpret::LTLBuilder::LTLBuilderBefore
#globally PgVerify::Interpret::LTLBuilder
#graph PgVerify::Interpret::GraphContext
#graph PgVerify::Simulation::Simulator
#grep String
#gsub Array
#guard PgVerify::Model::Transition
#guard PgVerify::Interpret::TransitionContext
#hazard PgVerify::Interpret::GraphContext
#hazards PgVerify::Model::Graph
#hazards PgVerify::Interpret::GraphContext
in_pipe? PgVerify::Shell
in_tty? PgVerify::Shell
#include? PgVerify::Model::VariableSet
indented PgVerify::StringUtil
#indented String
#indented PgVerify::Transform::PumlTransformation
#init PgVerify::Interpret::ComponentContext
init PgVerify
#init PgVerify::Cli::BaseCommand
#init_expression PgVerify::Model::Variable
#init_expression PgVerify::Model::Component
#init_expressions PgVerify::Interpret::ComponentContext
#initialize PgVerify::Simulation::State
#initialize PgVerify::Model::Transition
#initialize PgVerify::Model::Validation::UnknownTokenError
#initialize PgVerify::Model::Spec
#initialize PgVerify::Model::Specification
#initialize PgVerify::Model::Validation::AssignmentToStateVariableError
#initialize PgVerify::Model::Validation::ForeignVariableAssignmentError
#initialize PgVerify::Model::Validation::ValidationError
#initialize PgVerify::Model::SpecResult
#initialize PgVerify::Model::Assignment
#initialize PgVerify::Model::Expression
#initialize PgVerify::Model::Validation::EmptyStateSetError
#initialize PgVerify::Model::VariableSet
#initialize PgVerify::Interpret::InvalidDSL_var
#initialize PgVerify::Interpret::InterpretError
#initialize PgVerify::Model::Trace
#initialize PgVerify::Model::Hazard
#initialize PgVerify::Model::Component
#initialize PgVerify::Model::SpecSet
#initialize PgVerify::Model::Validation::UnknownVariableError
#initialize PgVerify::EbnfParser::Ast
#initialize PgVerify::Shell::NoAnimation
#initialize PgVerify::Core::CMDRunner::CMDRunnerError
#initialize PgVerify::Interpret::SpecContext
#initialize PgVerify::Interpret::LTLBuilder::LTLBuilderBefore
#initialize PgVerify::Model::Variable
#initialize PgVerify::NoDefaultFileError
#initialize PgVerify::Doctor::DoctorError
#initialize PgVerify::Model::Validation::DeadlockInFSMError
#initialize PgVerify::Model::SourceLocation
#initialize PgVerify::Shell::LoadingAnimation
#initialize PgVerify::NuSMV::RawNuSMVError
#initialize PgVerify::Model::Graph
#initialize PgVerify::NoSuchFileError
#initialize PgVerify::Transform::PumlTransformation
#initialize PgVerify::Shell::LineAnimation
#initialize PgVerify::Interpret::ComponentContext
#initialize PgVerify::Model::DCCA
#initialize PgVerify::EbnfParser::ExpressionParser
#initialize PgVerify::Interpret::LTLBuilder::LTLBuilderAfter
#initialize PgVerify::Shell::LoadingPrompt::LoadingResult
#initialize PgVerify::Model::ParsedExpression
#initialize PgVerify::Interpret::SpecSetContext
#initialize PgVerify::EbnfParser::ExpressionParser2
#initialize PgVerify::EbnfParser::ParserResult
#initialize PgVerify::Interpret::TransitionContext
#initialize PgVerify::Model::VariableState
#initialize PgVerify::Interpret::GraphContext
#initialize PgVerify::Interpret::InvalidDSL_model
#initialize PgVerify::Interpret::PgScript
#initialize PgVerify::Interpret::NoSuchScriptError
#initialize PgVerify::Interpret::NoSuchStateError
#initialize PgVerify::Interpret::InvalidDSL_expression
#initialize PgVerify::Interpret::InvalidDSL_state
#initialize PgVerify::Interpret::InvalidDSL_graph
#initialize PgVerify::Interpret::InvalidDSL_transition
#initialize PgVerify::Simulation::Simulator
#initialize PgVerify::Model::AllocationSet
#integer? String
#interpret PgVerify::Interpret::PgScript
#isolate_assigned_variable PgVerify::Model::Expression
#it PgVerify::Interpret::SpecSetContext
#json PgVerify::Cli::ShowCommand
#labelize String
#last_output_length PgVerify::Shell::LoadingAnimation
#length PgVerify::Model::AllocationSet
levenshtein_distance PgVerify::StringUtil
levenshtein_suggest PgVerify::StringUtil
#limit_lines String
limit_width PgVerify::StringUtil
#linage PgVerify::Model::Spec
#line_combine String
line_combine PgVerify::StringUtil
#line_number PgVerify::Interpret::InterpretError
#line_number PgVerify::Model::SourceLocation
load_models PgVerify::CliUtils
#loading_message PgVerify::Shell::LoadingAnimation
#loop_index PgVerify::Model::Trace
#ltl PgVerify::Interpret::SpecSetContext
make_unique PgVerify::StringUtil
#map PgVerify::Model::VariableSet
#map PgVerify::EbnfParser::Ast
#message PgVerify::Shell::LoadingPrompt::LoadingResult
#model PgVerify::Interpret::PgScript
#model PgVerify::Model::Trace
#models PgVerify::Interpret::PgScript
#module_string PgVerify::Transform::NuSmvTransformation
#name PgVerify::Model::Component
#name PgVerify::Interpret::ComponentContext
#name PgVerify::Model::Variable
#name PgVerify::Model::Graph
#name PgVerify::Interpret::GraphContext
#names PgVerify::Model::VariableSet
#names PgVerify::Simulation::State
#never PgVerify::Interpret::LTLBuilder::LTLBuilderBefore
#never PgVerify::Interpret::LTLBuilder::LTLBuilderAfter
#never PgVerify::Interpret::LTLBuilder::LTLBuilderGlobally
#no_errors PgVerify::Interpret::SpecSetContext
#nusmv PgVerify::Cli::ShowCommand
#on_anim PgVerify::Shell::LoadingAnimation
#on_anim PgVerify::Shell::NoAnimation
#on_anim PgVerify::Shell::LineAnimation
#on_start PgVerify::Shell::LoadingAnimation
#on_stop PgVerify::Shell::LoadingAnimation
#options PgVerify::EbnfParser::ExpressionParser
#options PgVerify::EbnfParser::ExpressionParser2
#owned_variables PgVerify::Interpret::ComponentContext
#owner_name PgVerify::Model::Variable
#parent PgVerify::Model::Spec
#parent PgVerify::Interpret::SpecContext
#parent PgVerify::Model::SpecSet
#parent PgVerify::Interpret::SpecSetContext
#parent? PgVerify::Model::Spec
#parent? PgVerify::Model::SpecSet
#parent_component PgVerify::Interpret::TransitionContext
#parent_graph PgVerify::Interpret::SpecSetContext
#parent_graph PgVerify::Interpret::ComponentContext
#parent_script PgVerify::Interpret::GraphContext
#parents PgVerify::Model::Spec
#parse! PgVerify::EbnfParser::ExpressionParser2
#parse! PgVerify::EbnfParser::ExpressionParser
#parse_component PgVerify::Transform::HashTransformation
#parse_expression PgVerify::Transform::HashTransformation
parse_expression PgVerify::EbnfParser
#parse_graph PgVerify::Transform::HashTransformation
#parse_hazard PgVerify::Transform::HashTransformation
#parse_spec_results PgVerify::NuSMV::Runner
#parse_specification PgVerify::Transform::HashTransformation
#parse_trace PgVerify::NuSMV::Runner
#parse_transition PgVerify::Transform::HashTransformation
#parse_var_assignment_in_trace PgVerify::NuSMV::Runner
#parse_variable PgVerify::Transform::HashTransformation
#parse_variable_range PgVerify::Transform::HashTransformation
#perform PgVerify::Model::DCCA
#persistent PgVerify::Interpret::GraphContext
#png PgVerify::Cli::ShowCommand
#powerset Enumerable
#precedes PgVerify::Interpret::LTLBuilder::LTLBuilderBefore
#precedes PgVerify::Interpret::LTLBuilder::LTLBuilderAfter
#precedes PgVerify::Interpret::LTLBuilder::LTLBuilderGlobally
#precon PgVerify::Model::Transition
#precon PgVerify::Interpret::TransitionContext
#predict_type PgVerify::Model::ParsedExpression
#print_anim PgVerify::Shell::LoadingAnimation
#printl PgVerify::Shell::LoadingAnimation
#printl PgVerify::Shell::LineAnimation
#puml PgVerify::Cli::ShowCommand
#q PgVerify::Interpret::LTLBuilder::LTLBuilderBefore
#q PgVerify::Interpret::LTLBuilder::LTLBuilderAfter
#range PgVerify::Model::Variable
#reacts PgVerify::Interpret::LTLBuilder::LTLBuilderBefore
#reacts PgVerify::Interpret::LTLBuilder::LTLBuilderAfter
#reacts PgVerify::Interpret::LTLBuilder::LTLBuilderGlobally
#remove_before String
#render_actions PgVerify::Transform::PumlTransformation
#render_code_block PgVerify::Model::SourceLocation
#render_guards PgVerify::Transform::PumlTransformation
#render_labels PgVerify::Transform::PumlTransformation
#render_precons PgVerify::Transform::PumlTransformation
#represents_fault PgVerify::Model::Component
#represents_fault PgVerify::Interpret::ComponentContext
#represents_fault? PgVerify::Model::Component
root PgVerify
#rules PgVerify::EbnfParser::ExpressionParser
#rules PgVerify::EbnfParser::ExpressionParser2
#run PgVerify::Simulation::Simulator
run_and_follow PgVerify::Core::CMDRunner
run_check PgVerify::Doctor
#run_check PgVerify::NuSMV::Runner
#run_check! PgVerify::NuSMV::Runner
run_cmd PgVerify::Core::CMDRunner
run_for_exit_code PgVerify::Core::CMDRunner
run_for_result PgVerify::Core::CMDRunner
run_for_result_with_plain_status PgVerify::Core::CMDRunner
run_in_screen PgVerify::Core::CMDRunner
run_or_return PgVerify::Core::CMDRunner
#run_simulation PgVerify::NuSMV::Runner
#run_specs PgVerify::NuSMV::Runner
#run_transitions PgVerify::Simulation::Simulator
run_with_timeout PgVerify::Core::CMDRunner
#script_file PgVerify::Interpret::PgScript
#script_file PgVerify::Interpret::InterpretError
#select_by_owner PgVerify::Model::VariableSet
select_components PgVerify::Cli::ShowCommand
#select_critical PgVerify::Model::DCCA
send_call PgVerify::Colorizer
#shorten String
shorten_unique PgVerify::StringUtil
#simulate PgVerify::Cli::BaseCommand
#snake_case String
#source_location PgVerify::Model::ParsedExpression
#source_location PgVerify::Model::Spec
#source_location PgVerify::Model::Component
#source_location PgVerify::Interpret::TransitionContext
#source_location PgVerify::Model::Variable
#source_location PgVerify::Interpret::TransitionContext::TempExpression
#source_location PgVerify::Interpret::SpecContext
#source_location PgVerify::Interpret::ComponentContext
#source_location PgVerify::Interpret::SpecSetContext
#spec PgVerify::Model::SpecResult
#spec_sets PgVerify::Model::Specification
#specification PgVerify::Model::Graph
#specify PgVerify::Interpret::GraphContext
#specify PgVerify::Interpret::SpecSetContext
#specs PgVerify::Interpret::GraphContext
#src_state PgVerify::Model::Transition
#src_state PgVerify::Interpret::TransitionContext
#start PgVerify::Shell::LoadingAnimation
#start_time PgVerify::Shell::LoadingAnimation
#started? PgVerify::Shell::LoadingAnimation
#state PgVerify::Shell::LoadingPrompt::LoadingResult
#state PgVerify::Interpret::ComponentContext
#state_variable? PgVerify::Model::Variable
#state_variables PgVerify::Model::Graph
#states PgVerify::Model::Trace
#states PgVerify::Model::Component
#states PgVerify::Interpret::ComponentContext
#states_list PgVerify::Interpret::ComponentContext
#stop PgVerify::Shell::LoadingAnimation
#string PgVerify::Interpret::TransitionContext::TempExpression
#subset? Enumerable
#success PgVerify::Model::SpecResult
#success? PgVerify::Model::SpecResult
#success? PgVerify::Model::VariableState
#term_variables PgVerify::Model::Expression
#test PgVerify::Cli::BaseCommand
#text PgVerify::Model::SpecSet
#text PgVerify::Model::Hazard
#text PgVerify::Model::Spec
#text PgVerify::Doctor::Warning
#text PgVerify::Interpret::SpecSetContext
#text PgVerify::Interpret::SpecContext
#tgt_state PgVerify::Model::Transition
#tgt_state PgVerify::Interpret::TransitionContext
timestamp PgVerify::TimeUtil
#title PgVerify::Doctor::Warning
tmp_file PgVerify
#to_a PgVerify::Model::VariableSet
#to_formatted PgVerify::Core::Error
#to_model PgVerify::Interpret::GraphContext
#to_model PgVerify::Interpret::SpecSetContext
#to_model PgVerify::Interpret::TransitionContext
#to_model PgVerify::Interpret::SpecContext
#to_model PgVerify::Interpret::ComponentContext
#to_s PgVerify::Model::ParsedExpression
#to_s PgVerify::Model::Trace
#to_s PgVerify::Model::SourceLocation
#to_s PgVerify::Model::VariableSet
#to_s PgVerify::Simulation::State
#to_s PgVerify::Model::Transition
#to_s PgVerify::Model::Expression
#to_s PgVerify::Model::Assignment
#tokenize PgVerify::Model::ParsedExpression
#trace PgVerify::Model::SpecResult
#transform_assignment PgVerify::Transform::NuSmvTransformation
#transform_component PgVerify::Transform::HashTransformation
#transform_component PgVerify::Transform::PumlTransformation
#transform_component PgVerify::Transform::NuSmvTransformation
#transform_components PgVerify::Transform::NuSmvTransformation
#transform_const PgVerify::Transform::NuSmvTransformation
#transform_expression PgVerify::Transform::HashTransformation
#transform_expression PgVerify::Transform::NuSmvTransformation
#transform_graph PgVerify::Transform::PumlTransformation
#transform_graph PgVerify::Transform::HashTransformation
#transform_graph PgVerify::Transform::NuSmvTransformation
#transform_hazard PgVerify::Transform::HashTransformation
#transform_init_expression PgVerify::Transform::NuSmvTransformation
#transform_initial PgVerify::Transform::PumlTransformation
#transform_main_module PgVerify::Transform::NuSmvTransformation
#transform_module_instance_name PgVerify::Transform::NuSmvTransformation
#transform_module_name PgVerify::Transform::NuSmvTransformation
#transform_range PgVerify::Transform::NuSmvTransformation
#transform_range PgVerify::Transform::PumlTransformation
#transform_spec PgVerify::Transform::NuSmvTransformation
#transform_specification PgVerify::Transform::HashTransformation
#transform_specification PgVerify::Transform::NuSmvTransformation
#transform_state PgVerify::Transform::PumlTransformation
#transform_transition PgVerify::Transform::HashTransformation
#transform_transition PgVerify::Transform::NuSmvTransformation
#transform_transition PgVerify::Transform::PumlTransformation
#transform_variable PgVerify::Transform::HashTransformation
#transform_variable PgVerify::Transform::NuSmvTransformation
#transform_variable_range PgVerify::Transform::HashTransformation
#transform_variable_state PgVerify::Transform::PumlTransformation
#transform_variables PgVerify::Transform::NuSmvTransformation
#transform_variables PgVerify::Transform::PumlTransformation
#transform_varname PgVerify::Transform::NuSmvTransformation
#transient PgVerify::Interpret::GraphContext
#transition PgVerify::Interpret::ComponentContext
#transition_accepted? PgVerify::Simulation::Simulator
#transition_list PgVerify::Interpret::ComponentContext
#transitions PgVerify::Model::Component
#type PgVerify::Model::ParsedExpression
#type PgVerify::EbnfParser::ExpressionParser2
#type PgVerify::EbnfParser::ExpressionParser
uncolorize PgVerify::Colorizer
#used_variables PgVerify::Model::Expression
validate PgVerify::Model::Validation::AssignmentToStateVariableValidation
validate PgVerify::Model::Validation::EmptyStateSetValidation
#validate PgVerify::Model::Graph
validate PgVerify::Model::Validation::UnknownTokenValidation
validate PgVerify::Model::Validation::ForeignAssignmentValidation
validate PgVerify::Model::Validation
#validate! PgVerify::Model::Transition
validate! PgVerify::Model::Validation
validate_expression PgVerify::Model::Validation::UnknownTokenValidation
#value_map PgVerify::Model::VariableState
#value_map PgVerify::Simulation::State
#value_str PgVerify::Model::Trace
#values PgVerify::Model::VariableSet
#values PgVerify::Model::Variable
#var PgVerify::Interpret::ComponentContext
#variables PgVerify::Model::AllocationSet
#variables PgVerify::Simulation::State
#variables PgVerify::Model::Graph
#varname? PgVerify::Model::VariableSet
#version PgVerify::Cli::BaseCommand
while_loading PgVerify::Shell::LoadingPrompt
with_drop_on_fail PgVerify::Core::CMDRunner
#word_tokens PgVerify::Model::ParsedExpression
wrap PgVerify::Model::SpecSet
#yaml PgVerify::Cli::ShowCommand