Method List
Search:
-
#- MappingValues
-
#<< Chain
-
#== IntrinsicRuntimeMethod
-
#[] Statement
-
#[] ImplementedChain
-
#[] Chain
-
#[]= Statement
-
#abstract_variables_for_tracking ActsAsTrackable
-
#access_method MethodTester
-
#accessor? Pass
-
#accessor_values TheoryImplementation
-
#accessors TheoryComponent
-
#action Theory
-
#action TheoryAction
-
#action_works_with_runtime_method? TheoryGenerator
-
#actions TheoryCollection
-
#actions_validate_runtime_method? TheoryGenerator
-
#add Statement
-
#add_dependency Tasks
-
#add_dependent_statements StatementDependencies
-
#add_link TheoryConnector
-
#add_link_to Chain
-
#add_mapping ChainMapping
-
#add_return_variable_statement! RuntimeMethod
-
#add_statement_at RuntimeMethod
-
#add_statement_to_method TheoryChainValidator
-
#add_to_chain TheoryConnector
-
#all_pass? RuntimeMethod
-
#all_theory_variables Theory
-
#allowed? Literal
-
#any_variables? Requirement
-
#apply_mapping_update ChainMapping
-
#apply_scope_dependencies StatementDependencies
-
#array ArrayAccess
-
#array_access TheoryGenerator
-
#array_push StatementGroup
-
#array_push Requirement
-
#array_push StatementDependencies
-
#assignment? Statement
-
#available_variable_at RuntimeMethod
-
#available_variables ActsAsRuntimeMethod
-
#backtrace StandardLogger
-
#basic_write ActsAsRuntimeMethod
-
#brew Cauldron::Pot
-
#broken_link_count Chain
-
#build TheoryChainValidator
-
#build_method_from_chain TheoryChainValidator
-
#build_solution RuntimeMethod
-
#callable_combinations RuntimeMethod
-
#cases Cauldron::Terminal
-
#cauldron_method_calls TypeVariable
-
#cauldron_method_calls StatementGroup
-
#cauldron_method_calls Fixnum
-
#cauldron_method_calls RuntimeMethod
-
#cauldron_method_calls Object
-
#cauldron_method_calls Array
-
#cauldron_method_calls RealisedRuntimeMethod
-
#cauldron_method_calls Statement
-
#cauldron_method_calls CTestCase
-
#cauldron_method_calls History
-
#cauldron_method_calls String
-
#cauldron_method_calls ArrayAccess
-
#chain TheoryConnector
-
#chain_arrangements TheoryConnector
-
#chain_mapping Chain
-
#chain_valid? Cauldron::Pot
-
#class_method_calls MethodUsageClass
-
#class_method_calls ParserClass
-
#class_method_calls TheoryStatementClass
-
#class_method_calls MethodParameterClass
-
#class_method_calls AdditionClass
-
#class_method_calls StatementClass
-
#class_method_calls RuntimeMethodClass
-
#class_name RuntimeClass
-
#class_name VariableDeclaration
-
#class_name ClassMethodCallContainer
-
#class_name CodeHandler
-
#classes_match? ActsAsStatement
-
#classify Unknown
-
#clear Statement
-
#clear Cauldron::Pot
-
#close RealisedRuntimeMethod
-
#closer_chains TheoryConnector
-
#closure InstanceCall
-
#closure RuntimeClassMethodCall
-
#closure Addition
-
#closure Subtract
-
#closure ArrayAccess
-
#code StandardLogger
-
#collect Chain
-
#combine_matches TheoryConnector
-
#complete? Chain
-
#complete_chain TheoryConnector
-
#complete_chains Cauldron::Pot
-
#components Theory
-
#components TheoryCollection
-
#confirmed? Statement
-
#connect ChainMapping
-
#connected_component_ids ChainMapping
-
#container= InstanceCallContainer
-
#contains? Array
-
#contains? InstanceCallContainer
-
#contains_method_call? Statement
-
#contains_self? Requirement
-
#contains_self? InstanceCallContainer
-
#context_variable Statement
-
#contextual_variable Statement
-
#converge_chain TheoryConnector
-
#conversion_mapping TheoryConnector
-
#convert_to_cauldron_test_cases Cauldron::Demos
-
#convert_to_example Cauldron::Conversion
-
#copy Literal
-
#copy LiteralDeclaration
-
#copy StatementVariable
-
#copy ChainMapping
-
#copy InstanceCallContainer
-
#copy TheoryVariable
-
#copy ClassCall
-
#copy Boolean
-
#copy ThisClass
-
#copy RuntimeMethodLiteral
-
#copy VariableReference
-
#copy OpenStatement
-
#copy New
-
#copy Times
-
#copy TheoryStatementClass
-
#copy DefCall
-
#copy EqualClass
-
#copy LengthEqual
-
#copy ArrayLength
-
#copy Requirement
-
#copy NilClass
-
#copy ClassEvaluationClass
-
#copy StringClass
-
#copy Copy
-
#copy Equivalent
-
#copy MappingValues
-
#copy Run
-
#copy HistoryCall
-
#copy ArrayAccess
-
#copy CTestCase
-
#copy KindOf
-
#copy AdditionClass
-
#copy InstanceCallContainerClass
-
#copy Container
-
#copy Value
-
#copy Step
-
#copy Realise
-
#copy AllPass
-
#copy ClassName
-
#copy InstanceCallClass
-
#copy BlockVariable
-
#copy ParserClass
-
#copy IntrinsicObject
-
#copy SingleLineBlockStatement
-
#copy TheoryResult
-
#copy Next
-
#copy If
-
#copy RuntimeClassMethodCall
-
#copy Hash
-
#copy MethodParameterClass
-
#copy NilVariable
-
#copy Assignment
-
#copy Do
-
#copy ArrayClass
-
#copy ClassMethodCallContainer
-
#copy ToDeclarationCall
-
#copy Nil
-
#copy BlockToken
-
#copy Array
-
#copy ParametersContainer
-
#copy Params
-
#copy HashAccess
-
#copy Return
-
#copy StringLengthClass
-
#copy Include
-
#copy MethodParameter
-
#copy UnknownClass
-
#copy DefCallClass
-
#copy TheoryDependent
-
#copy Push
-
#copy TheoryImplementation
-
#copy Theory
-
#copy MethodNameCall
-
#copy RuntimeMethod
-
#copy StatementGroup
-
#copy VariableDeclaration
-
#copy RequirementClass
-
#copy Subtract
-
#copy HackStatement
-
#copy IntrinsicLiteral
-
#copy History
-
#copy ActionImplementation
-
#copy ClassCallClass
-
#copy ReturnClass
-
#copy StatementClass
-
#copy EvalCall
-
#copy ArrayEach
-
#copy Chain
-
#copy Declaration
-
#copy ArrayVariable
-
#copy RealisedRuntimeMethod
-
#copy LocalVariablesCall
-
#copy VariableContainer
-
#copy DeclaredVariable
-
#copy Equal
-
#copy True
-
#copy String
-
#copy Pass
-
#copy Any
-
#copy RuntimeMethodClass
-
#copy StatementLiteral
-
#copy InstanceCall
-
#copy RuntimeClassClass
-
#copy TheoryAction
-
#copy Addition
-
#copy Fixnum
-
#copy This
-
#copy History2Call
-
#copy Raw
-
#copy MethodUsageClass
-
#copy Chop
-
#copy MethodUsageVariable
-
#copy TypeVariable
-
#copy MethodUsage
-
#copy AvailableVariablesCall
-
#copy InstanceClassCallClass
-
#copy Statement
-
#copy LiteralClass
-
#copy EvaluateClassCall
-
#copy Unknown
-
#copy StringVariableClass
-
#copy BlockContainer
-
#copy StringLength
-
#copy BlockStatement
-
#copy_base RuntimeMethod
-
#copy_base OpenStatement
-
#copy_base BlockStatement
-
#copy_contextual_variable StringVariable
-
#copy_contextual_variable Unknown
-
#copy_contextual_variable InstanceCallContainer
-
#copy_contextual_variable StatementVariable
-
#copy_requirements Literal
-
#covert_to_intrinsic_mapping TheoryGenerator
-
#create_possible_chain_extensions TheoryConnector
-
#create_possible_chains TheoryConnector
-
#create_theory ContainsTheories
-
#create_theory_implementation ContainsTheories
-
#created_variable Statement
-
#created_variable_id Statement
-
#creates_variable? Statement
-
#creation If
-
#creation Do
-
#creation Literal
-
#creation Return
-
#decalares_variable? Statement
-
#declaration_statement AdditionClass
-
#declaration_statement Equal
-
#declaration_statement RuntimeMethodClass
-
#declaration_statement MethodNameCall
-
#declaration_statement EvaluateClassCall
-
#declaration_statement Literal
-
#declaration_statement InstanceCallContainer
-
#declaration_statement ParserClass
-
#declaration_statement TheoryStatementClass
-
#declaration_statement UnknownClass
-
#declaration_statement FixnumClass
-
#declaration_statement MethodParameter
-
#declaration_statement Requirement
-
#declaration_statement CTestCaseClass
-
#declaration_statement ClassCall
-
#declaration_statement String
-
#declaration_statement StringClass
-
#declaration_statement RuntimeMethod
-
#declared DeclarationStatement
-
declared_array StatementStructure2
-
declared_fixnum_addition StatementStructure2
-
declared_runtime_method StatementStructure2
-
declared_statement StatementStructure2
-
declared_string_addition StatementStructure2
-
#declared_variable Statement
-
#declared_variable_id BlockStatement
-
#declared_variable_id Statement
-
default_tail_theory Chain
-
#demo Cauldron::Demos
-
#demo_one Cauldron::Demos
-
#demo_two Cauldron::Demos
-
#demo_works? Cauldron::Pot
-
#dependencies_for StatementDependencies
-
#dependents TheoryCollection
-
#dependents Theory
-
#deprecated StandardLogger
-
#describe TheoryResult
-
#describe TheoryAction
-
#describe StatementGroup
-
#describe Boolean
-
#describe StringLengthClass
-
#describe IntrinsicRuntimeMethod
-
#describe ImplementedChain
-
#describe InstanceCall
-
#describe TheoryStatement
-
#describe Fixnum
-
#describe True
-
#describe This
-
#describe Return
-
#describe Assignment
-
#describe BlockToken
-
#describe If
-
#describe Container
-
#describe IntrinsicLiteral
-
#describe BlockContainer
-
#describe MethodParameter
-
#describe UnifiedChain
-
#describe Equal
-
#describe Unknown
-
#describe ClassName
-
#describe OpenStatement
-
#describe TheoryVariable
-
#describe DefCall
-
#describe Requirement
-
#describe Theory
-
#describe IntrinsicLastRuntimeMethod
-
#describe TypeVariable
-
#describe SingleLineBlockStatement
-
#describe ArrayAccess
-
#describe Statement
-
#describe Chain
-
#describe Literal
-
#describe RuntimeMethod
-
#describe TheoryDependent
-
#describe CallContainer
-
#describe IntrinsicTestCases
-
#describe_params WriteParameters
-
#destructive? InstanceCall
-
#destructive? DeclaredVariable
-
#destructive? ArrayEach
-
#destructive? Push
-
#destructive? Times
-
#destructive_instance_calls StatementVariable
-
#destructive_instance_calls StringVariable
-
#destructive_instance_calls Literal
-
#destructive_instance_calls BaseVariable
-
#destructive_instance_calls MethodUsageVariable
-
#destructive_instance_calls VariableReference
-
#destructive_instance_calls FixnumVariable
-
#destructive_instance_calls UnknownVariable
-
#destructive_instance_calls RuntimeMethodParameter
-
#display_history ChainMapping
-
#display_name_for PrintVariables
-
#display_statement_dependencies StatementDependencies
-
#each ImplementedChain
-
#each Statement
-
#each Chain
-
#each_bit Requirement
-
#each_nested_statement StatementDependencies
-
#each_theory_progression Chain
-
#each_unrealised_variable BlockStatement
-
#each_unrealised_variable Statement
-
#each_untyped_variable Statement
-
#each_used_nest_statement StatementDependencies
-
#each_variable ParametersContainer
-
#each_variable BlockContainer
-
#each_variable Statement
-
#each_with_dependent_structure TheoryCollection
-
#each_with_index Statement
-
#each_with_result_structure TheoryCollection
-
#empty? Chain
-
#eql? TheoryVariable
-
#equivalent? ClassMethodCallContainer
-
#equivalent? Statement
-
#equivalent? MethodUsageVariable
-
#equivalent? LiteralDeclaration
-
#equivalent? ArrayAccess
-
#equivalent? DefCall
-
#equivalent? InstanceCallContainer
-
#equivalent? StatementVariable
-
#equivalent? TypeVariable
-
#equivalent? Equal
-
#equivalent? Literal
-
#equivalent? Unknown
-
#error StandardLogger
-
#escape_single_quotes String
-
#evaluate Requirement
-
#evaluate VariableDeclaration
-
#evaluate DeclarationStatementEvaluation
-
#evaluate_class ClassEvaluation
-
#evaluate_class_2 ClassEvaluation
-
#evaluate_code CodeEvaluation
-
#evaluate_dependent TheoryImplementation
-
#evaluate_method MethodEvaluation
-
#evaluate_statement UnifiedChain
-
#example_runtime_method Theory
-
#exchange_variables Statement
-
#extend_accessors TheoryGenerator
-
#extend_arrangement TheoryConnector
-
#extend_chain TheoryConnector
-
#extend_mapping UnifiedChain
-
#extension_permutaions Chain
-
#final_variables RealisedRuntimeMethod
-
#find_actual_variable VariableReference
-
#find_actual_variable VariableIncluded
-
#find_actual_variable InstanceCallContainer
-
#find_actual_variable Statement
-
#find_actual_variable BaseVariable
-
#find_all_required_runtime_methods Statement
-
#find_all_required_runtime_methods StatementGroup
-
#find_component Theory
-
#find_container_at_level StatementGroup
-
#find_dependencies_for StatementDependencies
-
#find_global ChainMapping
-
#find_next_unknown RuntimeMethod
-
#find_overriding_statements StatementGroup
-
#find_overriding_statements Statement
-
#find_realised_variable History
-
#find_statement Statement
-
#find_statement StatementDependencies
-
#find_statement StatementGroup
-
#find_statement_that_created_variable ActsAsRuntimeMethod
-
#find_statement_that_declares_variable BlockStatement
-
#find_statement_that_declares_variable ActsAsRuntimeMethod
-
#find_steps_with_variable History
-
#find_the_theories_with_these_results TheoryConnector
-
#find_theories_with_these_results TheoryConnector
-
#find_value_for History
-
#find_variable InstanceCallContainer
-
#find_variable Statement
-
#find_variable ActsAsRuntimeMethod
-
#find_variable BlockStatement
-
#find_variable_in_parameters RuntimeMethod
-
#first Statement
-
#first Chain
-
#generate TheoryGenerator
-
#generate_accessors_and_mapping TheoryGenerator
-
generate_attribute_test MethodValidation
-
#generate_chains TheoryConnector
-
#generate_intrinsic_object_id IntrinsicObject
-
generate_response_test MethodValidation
-
#generate_theories TheoryGenerator
-
#generate_theories_for_actions TheoryGenerator
-
#generate_theory_component_id TheoryComponent
-
#get_theory_action TheoryGenerator
-
#get_theory_dependents TheoryGenerator
-
#get_theory_results TheoryGenerator
-
#has? Statement
-
#has? VariableDeclaration
-
#has? OpenStatement
-
#has? Container
-
#has? CallContainer
-
#has_all_variables_been_found? UnifiedChain
-
#has_result_structure? Theory
-
#hash HashAccess
-
#hash Mapping
-
#hash TheoryVariable
-
#highest_theory_variable_id Theory
-
#highlight Theory
-
#highlight_broken_links Chain
-
#history RuntimeMethod
-
#history ChainMapping
-
#history2 RuntimeMethod
-
identify_method Parser
-
#identify_overriding_statements RuntimeMethod
-
#identify_overriding_statements Statement
-
#identify_overriding_statements StatementGroup
-
#identify_unchanged Theory
-
#identify_uniq_mappings UnifiedChain
-
#implement UnifiedChain
-
#implement Chain
-
#implement_chain TheoryConnector
-
#implement_next_link TheoryConnector
-
#implementable? Chain
-
#implementation_permuatations UnifiedChain
-
#implementation_permuatations2 UnifiedChain
-
#in_context Cauldron::Sexp2Cauldron
-
#increament_uniq_id! Variable
-
#index ArrayAccess
-
#info StandardLogger
-
#initialize InstanceCallClass
-
#initialize Push
-
#initialize Chop
-
#initialize Copy
-
#initialize RequirementClass
-
#initialize ToDeclarationCall
-
#initialize Realise
-
#initialize TheoryDependent
-
#initialize ContainerClass
-
#initialize ArrayEach
-
#initialize TheoryConnector
-
#initialize RuntimeMethodParameter
-
#initialize FailedToLiteraliseError
-
#initialize Tasks
-
#initialize Value
-
#initialize StatementLiteral
-
#initialize FixnumAdditionStructure
-
#initialize StringVariableClass
-
#initialize IntrinsicTestCases
-
#initialize Cauldron::Sexp2Cauldron
-
#initialize VariableContainer
-
#initialize RuntimeClassClass
-
#initialize FailedToFindStatementError
-
#initialize TheoryVariable
-
#initialize BlockStatement
-
#initialize MethodSizeError
-
#initialize StandardLogger
-
#initialize Unknown
-
#initialize LiteralDeclaration
-
#initialize Equal
-
#initialize History
-
#initialize Subtract
-
#initialize Addition
-
#initialize ClassName
-
#initialize EvalCall
-
#initialize Literal
-
#initialize TimesClass
-
#initialize ThisClass
-
#initialize TheoryImplementation
-
#initialize HackStatement
-
#initialize FixnumClass
-
#initialize TheoryGenerator
-
#initialize StatementVariable
-
#initialize UnknownStatementType
-
#initialize EquivalentClass
-
#initialize TheoryResult
-
#initialize IncompatiableRequirementsError
-
#initialize TheoryAction
-
#initialize InvalidStatementError
-
#initialize AvailableVariablesCall
-
#initialize Boolean
-
#initialize InstanceCallStructure
-
#initialize MethodUsageVariable
-
#initialize Step
-
#initialize Next
-
#initialize MethodWriter
-
#initialize Return
-
#initialize StringLengthClass
-
#initialize ImplementedChain
-
#initialize False
-
#initialize Cauldron::Terminal
-
#initialize ScopeDependencies
-
#initialize DeclaredVariable
-
#initialize CallContainer
-
#initialize FailedToFindVariableError
-
#initialize True
-
#initialize Code
-
#initialize This
-
#initialize ParameterCountError
-
#initialize CTestCaseClass
-
#initialize MethodUsage
-
#initialize Raw
-
#initialize StatementDependencies
-
#initialize ParametersContainer
-
#initialize DeclareRuntimeMethodStructure
-
#initialize DeclareNewInstanceStructure
-
#initialize AllPass
-
#initialize Nil
-
#initialize IntrinsicRuntimeMethod
-
#initialize BlockToken
-
#initialize RuntimeClassMethodCall
-
#initialize RuntimeMethodClass
-
#initialize If
-
#initialize DefCallClass
-
#initialize StringVariable
-
#initialize Do
-
#initialize Container
-
#initialize TheoryStatement
-
#initialize CTestCase
-
#initialize IfClass
-
#initialize HistoryVariable
-
#initialize MappingValues
-
#initialize LengthEqual
-
#initialize Cauldron::Pot
-
#initialize InstanceMethodCallStructure
-
#initialize FixnumVariable
-
#initialize InstanceCallContainerClass
-
#initialize UnknownVariable
-
#initialize ChainMappingError
-
#initialize UnifiedChain
-
#initialize NotEqual
-
#initialize ChainMapping
-
#initialize ChopClass
-
#initialize OpenStatement
-
#initialize VariableReference
-
#initialize LocalVariablesCall
-
#initialize MethodParameterClass
-
#initialize CodeHandler
-
#initialize CCall
-
#initialize LiteralClass
-
#initialize Mapping
-
#initialize RuntimeMethod
-
#initialize StringLength
-
#initialize Theory
-
#initialize TheoryStatementClass
-
#initialize ClassEvaluationClass
-
#initialize ArrayLength
-
#initialize RuntimeMethodLiteral
-
#initialize MethodUsageClass
-
#initialize Chain
-
#initialize UnliteralisableError
-
#initialize IntrinsicLastRuntimeMethod
-
#initialize InstanceClassCallClass
-
#initialize StepVariable
-
#initialize NilVariable
-
#initialize HashAccess
-
#initialize Params
-
#initialize StatementGroup
-
#initialize Requirement
-
#initialize TheoryCollection
-
#initialize RuntimeSyntaxError
-
#initialize ClassCallClass
-
#initialize InstanceCall
-
#initialize OpenStatementClass
-
#initialize ReturnClass
-
#initialize AdditionClass
-
#initialize EvaluateClassCall
-
#initialize MethodParameter
-
#initialize StringClass
-
#initialize ParserClass
-
#initialize UnknownClass
-
#initialize Assignment
-
#initialize Equivalent
-
#initialize StatementClass
-
#initialize SingleLineBlockStatement
-
#initialize ImproperStatementUsageError
-
#initialize EqualClass
-
#initialize InstanceCallContainer
-
#initialize StatementStructure2
-
#initialize IntrinsicObject
-
#initialize FailedVariableMatch
-
#initialize Declaration
-
#initialize ArrayVariable
-
#initialize ArrayAccess
-
#initialize DeclarationStatement
-
#initialize New
-
#initialize ClassCall
-
#initialize BlockContainer
-
#initialize BlockStatementClass
-
#initialize RuntimeClass
-
#initialize DeclareVariableAsLiteralStructure
-
#initialize UnexpectedStatementTypeError
-
#initialize ActionImplementation
-
#initialize MethodNameCall
-
#initialize ArrayClass
-
#initialize BlockVariable
-
#initialize FailedToFindStatementContainerError
-
#initialize SubtractClass
-
#initialize RuntimeTrackingMethod
-
#initialize Statement
-
#initialize VariableDeclaration
-
#initialize ReturnStructure
-
#initialize DefCall
-
#initialize Times
-
#initialize RealisedRuntimeMethod
-
#initialize ClassMethodCallContainer
-
#initialize IntrinsicLiteral
-
#initialize InstanceCallContainerStructure
-
#initialize BaseVariable
-
#initialize TypeVariable
-
#initialize DeclareVariableAsVariableStructure
-
#instance_call_structures String
-
#instance_call_structures Object
-
#instance_calls StringVariable
-
#instance_calls StatementVariable
-
#instance_calls InstanceCallStructure
-
#instance_calls RuntimeMethodParameter
-
#instance_calls ArrayVariable
-
#instance_calls BaseVariable
-
#instance_class InstanceCallStructure
-
#instance_variable BaseVariable
-
#intrinsic_object_id IntrinsicObject
-
#intrinsic_values_for_variable UnifiedChain
-
#irrelevant? Theory
-
#is_simple? BlockStatement
-
#is_simple? Statement
-
#itterate CodeHandler
-
#key HashAccess
-
#last Chain
-
#last Statement
-
#leads_to? TheoryImplementation
-
#left_hand_side Statement
-
#length ImplementedChain
-
#length Chain
-
#length Statement
-
#literal IntrinsicLiteral
-
#literal_value_of_var RuntimeMethod
-
#literalisable? InstanceCallContainer
-
#literalisable? TypeVariable
-
#literalise MethodParameter
-
#literalise TypeVariable
-
#literalise InstanceCallContainer
-
#literalise Statement
-
#load_implementation_result ContainsTheories
-
load_theory Theory
-
#load_theory_implementation ContainsTheories
-
#map_to TheoryDependent
-
#map_to CallContainer
-
#map_to TheoryResult
-
#map_to TheoryAction
-
#map_to TheoryStatement
-
#map_to Theory
-
#map_to Statement
-
#mapping ImplementedChain
-
#mapping ChainMapping
-
#mapping TheoryImplementation
-
#mapping_for TheoryResult
-
#mapping_permutations UnifiedChain
-
#master_theories TheoryGenerator
-
#matching_variables TheoryConnector
-
#meets_dependencies? TheoryImplementation
-
#meets_requirements? Variable
-
#meets_requirements? MethodParameter
-
#merge Mapping
-
#method_call ClassMethodCallContainer
-
#method_call InstanceCallContainer
-
#method_call InstanceCallStructure
-
#method_id RuntimeMethod
-
#method_id RealisedRuntimeMethod
-
#method_missing StandardLogger
-
#method_missing Mapping
-
#method_name ActsAsRuntimeMethod
-
#method_return RuntimeMethod
-
#missing_variables UnifiedChain
-
#multiple_generate TheoryGenerator
-
#mutually_exclusive? Requirement
-
#next_chain Cauldron::Pot
-
#next_free_global_id ChainMapping
-
#next_link_arrangement TheoryConnector
-
#not_declared_variables BlockStatement
-
#not_declared_variables Statement
-
#obtain_value TheoryGenerator
-
#orphan_action_variables Theory
-
#overrides? Statement
-
#param_count KindOf
-
#parameters ClassMethodCallContainer
-
#parameters CallContainer
-
#params RuntimeMethod
-
#params RealisedRuntimeMethod
-
#params_output TheoryGenerator
-
#parent Requirement
-
parse_attrasgn StringToTheory
-
parse_attrasgn Parser
-
parse_const StringToTheory
-
parse_const Parser
-
parse_custom_token StringToTheory
-
parse_custom_token Parser
-
parse_if StringToTheory
-
parse_if Parser
-
parse_iter Parser
-
parse_lasgn Parser
-
parse_return StringToTheory
-
parse_return Parser
-
parse_simple_token StringToTheory
-
parse_simple_token Parser
-
parse_token Parser
-
#partial BlockStatement
-
#partial_chain UnifiedChain
-
#partial_method RuntimeMethod
-
#pass? RuntimeMethod
-
#pass_as? BlockVariable
-
#pass_as? FixnumVariable
-
#pass_as? DefCall
-
#pop Chain
-
#possible_params KindOf
-
#process_arglist Cauldron::Sexp2Cauldron
-
#process_args Cauldron::Sexp2Cauldron
-
#process_block Cauldron::Sexp2Cauldron
-
#process_call Cauldron::Sexp2Cauldron
-
#process_defn Cauldron::Sexp2Cauldron
-
#process_if Cauldron::Sexp2Cauldron
-
#process_lasgn Cauldron::Sexp2Cauldron
-
#process_lit Cauldron::Sexp2Cauldron
-
#process_lvar Cauldron::Sexp2Cauldron
-
#process_return Cauldron::Sexp2Cauldron
-
#process_scope Cauldron::Sexp2Cauldron
-
#process_str Cauldron::Sexp2Cauldron
-
#push RuntimeMethod
-
#push StatementGroup
-
#push Statement
-
#push RealisedRuntimeMethod
-
#push StatementDependencies
-
#re_evaluate_results TheoryGenerator
-
#realise BlockVariable
-
#realise BlockContainer
-
#realise2 BlockContainer
-
#realise2 BlockStatement
-
#realise2 Statement
-
#realise2 RuntimeMethod
-
#realised? BlockVariable
-
#realised? TypeVariable
-
#realised? BaseVariable
-
#realised? BlockContainer
-
#realised? VariableReference
-
#realised? NilVariable
-
#realised? Statement
-
#realised? BlockStatement
-
#realised? Unknown
-
#realised? OpenStatement
-
#recursive_generate TheoryGenerator
-
#refine_initial_mapping TheoryConnector
-
#remove_existing_theories TheoryConnector
-
#remove_irrelevant_theories TheoryConnector
-
#remove_simple StatementGroup
-
#replace_statement_element_with_method_calls RuntimeMethod
-
#replace_theory_variable_declarations! VariableDeclaration
-
#replace_theory_variables! ArrayAccess
-
#replace_theory_variables! InstanceCallContainer
-
#replace_theory_variables! TheoryStatement
-
#replace_theory_variables! CallContainer
-
#replace_theory_variables! Container
-
#replace_theory_variables! OpenStatement
-
#replace_variable! Statement
-
#replace_variable_if InstanceCallContainer
-
#replace_variable_if Statement
-
#replace_variables! InstanceCallContainer
-
#replace_variables_alt! ArrayAccess
-
#replace_variables_alt! InstanceCallContainer
-
#replace_variables_alt! ClassMethodCallContainer
-
#replace_variables_alt! TheoryStatement
-
#required_variable_ids Statement
-
#requirements ClassCall
-
#requirements EvaluateClassCall
-
#requirements StringLength
-
#requirements AvailableVariablesCall
-
#requirements MethodNameCall
-
#requirements InstanceCall
-
#requirements RuntimeClassMethodCall
-
reset System
-
reset_global_id BaseVariable
-
reset_global_id Statement
-
reset_global_id Variable
-
reset_global_id RuntimeMethod
-
reset_global_id CodeHandler
-
#reset_ids! RuntimeMethod
-
#response ArrayAccess
-
#response InstanceCallContainer
-
#response DefCall
-
#response InstanceCall
-
#results TheoryCollection
-
#results Theory
-
#returning_instance_calls RuntimeMethodParameter
-
#returning_instance_calls BaseVariable
-
#returning_instance_calls StatementVariable
-
#reverse Chain
-
#rewrite_permutations TheoryDependent
-
#rewrite_permutations Theory
-
#rewrite_with TheoryDependent
-
#right_hand_side Statement
-
run StringToTheory
-
run Parser
-
#runtime_method DefCall
-
#runtime_methods CodeHandler
-
#same? ChainMapping
-
#same_not_declared_variables? Statement
-
#same_structure? TheoryDependent
-
#same_structure? TheoryResult
-
#same_structure_count TheoryCollection
-
#save_theory_implementation ContainsTheories
-
#saved_theories Cauldron::Pot
-
#scope Statement
-
#scope StatementGroup
-
#scope_id DefCall
-
#scope_id Variable
-
#scope_id Literal
-
#scope_id StatementGroup
-
#select_all ArrayVariable
-
#select_all ArrayAccess
-
#select_all Statement
-
#select_all CallContainer
-
#select_all Container
-
#select_all Array
-
#select_all OpenStatement
-
#select_result_structure Theory
-
#separate_values Cauldron::Conversion
-
#setup ContainsTheories
-
#shift Chain
-
#simmer Cauldron::Pot
-
#solvable? Chain
-
#start Cauldron::Terminal
-
#statement TheoryDependent
-
#statement TheoryResult
-
#statement_count Statement
-
#statement_count RuntimeMethod
-
#statement_count BlockStatement
-
#statement_id Statement
-
#statement_id StatementGroup
-
#statement_id OpenStatement
-
#statement_level Statement
-
#statement_level StatementGroup
-
statement_type StatementStructure2
-
#statement_type ActsAsStatement
-
#statements InstanceCallContainerStructure
-
#statements DeclareVariableAsVariableStructure
-
#statements StatementStructure2
-
#statements FixnumAdditionStructure
-
#statements DeclareNewInstanceStructure
-
#statements DeclareRuntimeMethodStructure
-
#statements DeclareVariableAsLiteralStructure
-
#statements ReturnStructure
-
#statements_with_variable TheoryComponent
-
#statements_with_variable TheoryAction
-
#structure StatementStructure2
-
#structure_match? Requirement
-
#subject InstanceCallContainer
-
#submit Cauldron::Terminal
-
#subst Statement
-
#subst! InstanceCallContainer
-
#subst! Statement
-
#subst_self_for Requirement
-
#subst_self_for InstanceCallContainer
-
#subst_variable! Statement
-
#subst_variable! Container
-
#subst_variable! OpenStatement
-
#target_id ActionImplementation
-
#target_id TheoryAction
-
#theories TheoryCollection
-
#theories_sequence Chain
-
#theory_3 ContainsTheories
-
#theory_component_id TheoryComponent
-
#theory_id Theory
-
#theory_instance_id Theory
-
#theory_variable_id TheoryVariable
-
#theory_variables TheoryCollection
-
#theory_variables TheoryDependent
-
#theory_variables TheoryComponent
-
#theory_variables TheoryAction
-
#theory_variables UnifiedChain
-
#theory_variables Chain
-
times_on_fixnum StatementStructure2
-
#to_declaration ArrayVariable
-
#to_declaration InstanceCallContainer
-
#to_declaration Statement
-
#to_declaration NilVariable
-
#to_declaration TheoryVariable
-
#to_declaration Unknown
-
#to_declaration Equal
-
#to_declaration Literal
-
#to_declaration NilClass
-
#to_declaration Next
-
#to_declaration Return
-
#to_declaration String
-
#to_declaration RuntimeMethod
-
#to_declaration MethodUsageVariable
-
#to_declaration MethodUsage
-
#to_declaration Fixnum
-
#to_declaration Array
-
#to_declaration InstanceCall
-
#to_declaration MethodParameter
-
#to_declaration StringVariable
-
#to_declaration FixnumVariable
-
#to_intrinsic Fixnum
-
#to_intrinsic Array
-
#to_intrinsic RuntimeMethod
-
#to_literal Fixnum
-
#to_literal String
-
#to_literal Array
-
#to_literal_string ClassName
-
#to_literal_string LiteralDeclaration
-
#to_literal_string BlockVariable
-
#to_literal_string ArrayVariable
-
#to_literal_string TypeVariable
-
#to_literal_string RuntimeClassMethodCall
-
#to_literal_string ArrayAccess
-
#to_literal_string Equivalent
-
#to_literal_string InstanceCallContainer
-
#to_literal_string MethodUsageVariable
-
#to_literal_string Statement
-
#to_literal_string Unknown
-
#to_literal_string Equal
-
#to_literal_string Addition
-
#to_literal_string Literal
-
#to_literal_string Next
-
#to_literal_string Return
-
#to_literal_string Fixnum
-
#to_literal_string String
-
#to_literal_string VariableReference
-
#to_literal_string Container
-
#to_literal_string StringLength
-
#to_literal_string InstanceCall
-
#to_literal_string MethodParameter
-
#to_literal_string BlockStatement
-
#to_literal_string ClassMethodCallContainer
-
#to_literal_string StringVariable
-
#to_literal_string OpenStatement
-
#to_var Statement
-
#to_var Variable
-
#to_var Unknown
-
#to_var Step
-
#to_var NilClass
-
#to_var String
-
#to_var Fixnum
-
#to_var MethodUsage
-
#to_var Array
-
#to_var RuntimeMethod
-
#tokens Statement
-
#tokens TheoryComponent
-
#tokens OpenStatement
-
#trackify RuntimeMethod
-
#trackify BlockStatement
-
#trackify OpenStatement
-
#tracking_statement ActsAsTrackable
-
#tsort_each_child TopologicalStatements
-
#tsort_for_statement StatementDependencies
-
#unify_chain TheoryConnector
-
#unify_chain Chain
-
#uniq_id Variable
-
#uniq_id_history BaseVariable
-
#uniq_theory_variables Theory
-
#unmet_dependents Chain
-
#unmet_dependents_ids Chain
-
#unrealised_variables BlockContainer
-
#unrealised_variables Statement
-
#unrealised_variables BlockStatement
-
#untyped_variables Statement
-
#usage RuntimeMethod
-
#usage_statements RuntimeMethod
-
#usage_variable MethodParameter
-
#use Copy
-
#use Chop
-
#use RuntimeClassMethodCall
-
#use StringLength
-
#use InstanceCall
-
#use? Requirement
-
#use_method_call TheoryGenerator
-
#use_runtime_method MethodTester
-
#use_runtime_method_2 MethodTester
-
#valid? Requirement
-
#valid_mapping? UnifiedChain
-
#valid_mapping_permutations UnifiedChain
-
#valid_rule? MethodUsage
-
#valid_statement? UnifiedChain
-
#valid_syntax? Statement
-
#valid_syntax? StatementCheck
-
#valid_syntax? InstanceCall
-
#validate_next_chain_link TheoryChainValidator
-
#validates? TheoryResult
-
#value TypeVariable
-
#value BaseVariable
-
#value InstanceCallContainer
-
#value InstanceCallClass
-
#value RequirementClass
-
#value InstanceClassCallClass
-
#value Literal
-
#value RuntimeClassClass
-
#value MethodUsageClass
-
#value LiteralDeclaration
-
#value ClassCallClass
-
#value StatementClass
-
#value CTestCaseClass
-
#value AdditionClass
-
#value TheoryStatementClass
-
#value ParserClass
-
#value StringVariableClass
-
#value RuntimeMethodClass
-
#value UnknownClass
-
#value LiteralClass
-
#value DefCallClass
-
#value ClassEvaluationClass
-
#value MethodParameterClass
-
#value StringClass
-
#value FixnumClass
-
#value ReturnClass
-
#value EqualClass
-
#value ArrayClass
-
#values Mapping
-
#variable BlockVariable
-
#variable ArrayAccess
-
#variable InstanceCallContainer
-
#variable VariableContainer
-
#variable VariableIncluded
-
variable_colour TheoryVariable
-
#variable_id ArrayVariable
-
#variable_id BaseVariable
-
#variable_id InstanceCallContainer
-
variable_id Variable
-
#variable_id VariableReference
-
#variable_id= TypeVariable
-
#variable_id= NilVariable
-
#variable_id= StatementVariable
-
#variable_id= RuntimeMethodParameter
-
#variables OpenStatement
-
#variables BlockContainer
-
#variables InstanceCallContainer
-
#variables Statement
-
#variables ParametersContainer
-
#variables BlockStatement
-
#variables RuntimeMethod
-
#variables_creation Chain
-
#warning StandardLogger
-
#write HackStatement
-
#write ThisClass
-
#write OpenStatement
-
#write Requirement
-
#write ArrayEach
-
#write Declaration
-
#write ActionImplementation
-
#write IntrinsicLiteral
-
#write BaseVariable
-
#write InstanceCallContainerClass
-
#write ArrayAccess
-
#write ClassCall
-
#write New
-
#write Assignment
-
#write Equivalent
-
#write BlockContainer
-
#write HashAccess
-
#write Params
-
#write Statement
-
#write NotEqual
-
#write Times
-
#write DefCall
-
#write RuntimeClassMethodCall
-
#write Copy
-
#write Chop
-
#write TheoryDependent
-
#write Push
-
#write TheoryVariable
-
#write Equal
-
#write Subtract
-
#write Addition
-
#write Literal
-
#write EvalCall
-
#write TheoryResult
-
#write TheoryAction
-
#write NilClass
-
#write Next
-
#write MethodWriter
-
#write ImplementedChain
-
#write False
-
#write Symbol
-
#write Return
-
#write String
-
#write Fixnum
-
#write True
-
#write Code
-
#write Raw
-
#write MethodUsage
-
#write This
-
#write Array
-
#write Nil
-
#write Hash
-
#write BlockToken
-
#write StatementClass
-
#write ClassCallClass
-
#write Select
-
#write Last
-
#write First
-
#write Any
-
#write Include
-
#write StatementID
-
#write HistoryCall
-
#write History2Call
-
#write Run
-
#write KindOf
-
#write Realise
-
#write Pass
-
#write RuntimeMethodLiteral
-
#write Value
-
#write AllPass
-
#write CallContainer
-
#write CTestCaseClass
-
#write IntrinsicRuntimeMethod
-
#write AdditionClass
-
#write ParserClass
-
#write TheoryStatementClass
-
#write VariableReference
-
#write UnknownClass
-
#write LiteralClass
-
#write DefCallClass
-
#write MethodNameCall
-
#write StringLength
-
#write LengthEqual
-
#write InstanceCall
-
#write IfClass
-
#write ChopClass
-
#write SubtractClass
-
#write ContainerClass
-
#write OpenStatementClass
-
#write EquivalentClass
-
#write BlockStatementClass
-
#write TimesClass
-
#write RuntimeClass
-
#write ReturnClass
-
#write FixnumClass
-
#write LocalVariablesCall
-
#write ArrayLength
-
#write StatementGroup
-
#write BlockStatement
-
#write StringClass
-
#write ArrayClass
-
#write StatementLiteral
-
#write EqualClass
-
#write StringLengthClass
-
#write InstanceCallClass
-
#write RequirementClass
-
#write VariableDeclaration
-
#write RuntimeClassClass
-
#write DeclaredVariable
-
#write LiteralDeclaration
-
#write ToDeclarationCall
-
#write MethodUsageClass
-
#write MethodParameterClass
-
#write ClassEvaluationClass
-
#write AvailableVariablesCall
-
#write StringVariableClass
-
#write RuntimeMethodClass
-
#write SingleLineBlockStatement
-
#write ActsAsRuntimeMethod
-
#write InstanceClassCallClass
-
#write RealisedRuntimeMethod
-
#write IntrinsicLastRuntimeMethod
-
#write EvaluateClassCall
-
#write IntrinsicTestCases
-
#write Do
-
#write If
-
#write Container
-
#write UnifiedChain
-
#write CodeHandler
-
#write Theory
-
#write Chain
-
#write_in_context InstanceCallContainer
-
#write_params WriteParameters
-
#write_structure ActsAsCode
-
#write_with_uniq_id ActsAsRuntimeMethod
-
#write_with_uniq_id BlockStatement
-
#write_with_uniq_id BaseVariable
-
#write_with_uniq_id BlockContainer
-
#write_with_uniq_id InstanceCallContainer
-
#write_with_uniq_id Statement
-
#write_with_value BlockStatement
-
#write_with_value BlockVariable
-
#write_with_value BlockContainer
-
#write_with_value Statement
-
#write_with_variable_id Requirement
-
#write_with_variable_id Statement