Table of Contents - sfp-0.4.6 Documentation
Classes and Modules
- Nuri
- Nuri::Planner
- Nuri::Planner::Graph
- Object
- Sfp
- Sfp::Any
- Sfp::Axiom
- Sfp::Helper
- Sfp::Null
- Sfp::Operator
- Sfp::Parameter
- Sfp::Parser
- Sfp::SasTranslator
- Sfp::SasTranslator::GoalVisitor
- Sfp::SasTranslator::ParameterGrounder
- Sfp::SasTranslator::TypeNotFoundException
- Sfp::SasTranslator::UndefinedValueException
- Sfp::SasTranslator::ValueCollector
- Sfp::SasTranslator::VariableCollector
- Sfp::SasTranslator::VariableNotFoundException
- Sfp::SasTranslator::Visitor
- Sfp::SfpLangHelper
- Sfp::TranslationException
- Sfp::Undefined
- Sfp::Unknown
- Sfp::Variable
- Sfp::Visitor
- Sfp::Visitor::AbstractEliminator
- Sfp::Visitor::ConformantVariables
- Sfp::Visitor::Default
- Sfp::Visitor::NullModifier
- Sfp::Visitor::ParentEliminator
- Sfp::Visitor::ParentGenerator
- Sfp::Visitor::PrettyStateGenerator
- Sfp::Visitor::ProcedureEliminator
- Sfp::Visitor::ReferenceModifier
- Sfp::Visitor::SetModifier
- Sfp::Visitor::SfpGenerator
- SfpLang
- SfpLang::Lexer
- SfpLang::Lexer::DFA18
- SfpLang::Parser
- SfpLang::Parser::DFA102
- SfpLang::Parser::DFA122
- SfpLang::Parser::DFA138
- SfpLang::Parser::DFA41
- SfpLang::Parser::DFA75
- SfpLang::TokenData
- Trollop
- Trollop::CommandlineError
- Trollop::HelpNeeded
- Trollop::Parser
- Trollop::Parser::vals
- Trollop::VersionNeeded
Methods
- ::clean — Nuri::Planner::Graph
- ::create — Sfp::Undefined
- ::create — Sfp::Unknown
- ::deep_clone — Sfp::Helper
- ::die — Trollop
- ::expand_object — Sfp::Helper
- ::get_label — Nuri::Planner::Graph
- ::help — Trollop
- ::new — SfpLang::Lexer
- ::new — SfpLang::Parser
- ::new — Sfp::Undefined
- ::new — Sfp::Unknown
- ::new — Sfp::Parser
- ::new — Sfp::SasTranslator::Visitor
- ::new — Sfp::SasTranslator::VariableCollector
- ::new — Sfp::SasTranslator::ValueCollector
- ::new — Sfp::SasTranslator::ParameterGrounder
- ::new — Sfp::Variable
- ::new — Sfp::Operator
- ::new — Sfp::Axiom
- ::new — Sfp::Parameter
- ::new — Trollop::Parser
- ::new — Sfp::Visitor::ConformantVariables
- ::new — Sfp::Visitor::SfpGenerator
- ::next_axiom_id — Sfp::SasTranslator
- ::next_constraint_id — Sfp::SasTranslator
- ::next_constraint_key — Sfp::SasTranslator
- ::next_operator_id — Sfp::SasTranslator
- ::next_variable_id — Sfp::SasTranslator
- ::null_of — Sfp::SasTranslator
- ::options — Trollop
- ::parse_file — Sfp::Parser
- ::partial2dot — Nuri::Planner::Graph
- ::reset_operator_id — Sfp::SasTranslator
- ::sequential2dot — Nuri::Planner::Graph
- ::stage2dot — Nuri::Planner::Graph
- ::to_json — Sfp::Helper
- ::to_pretty_json — Sfp::Helper
- ::with_standard_exception_handling — Trollop
- #abstract_object — SfpLang::Parser
- #add_unknown_undefined_value_to_variables — Sfp::SasTranslator
- #add_unknown_value_to_nonstatic_variables — Sfp::SasTranslator
- #add_value — Sfp::SasTranslator::VariableCollector
- #and_equals_constraint_to_map — Sfp::SasTranslator
- #apply_global_constraint_method_1 — Sfp::SasTranslator
- #apply_global_constraint_method_2 — Sfp::SasTranslator
- #array_to_or_constraint — Sfp::SasTranslator
- #assignment — SfpLang::Parser
- #attribute — SfpLang::Parser
- #banner — Trollop::Parser
- #binary_comp — SfpLang::Parser
- #binary_op — SfpLang::Parser
- #boolean! — SfpLang::Lexer
- #break_nested_reference — Sfp::SasTranslator
- #calculate_depth — Sfp::SasTranslator
- #class_def — SfpLang::Parser
- #cloaker — Trollop::Parser
- #clone — Sfp::Operator
- #clone — Sfp::Parameter
- #collect_argument_parameters — Trollop::Parser
- #combinator — Sfp::SasTranslator
- #comment! — SfpLang::Lexer
- #comp_value — SfpLang::Parser
- #compile_step_1 — Sfp::SasTranslator
- #compile_step_2 — Sfp::SasTranslator
- #conditional_constraint — SfpLang::Parser
- #conditional_constraint_if_part — SfpLang::Parser
- #conditional_constraint_then_part — SfpLang::Parser
- #conditions — SfpLang::Parser
- #conflict? — Sfp::Operator
- #conflicts — Trollop::Parser
- #conjunction_only — Sfp::SasTranslator
- #consistent_with_and — Sfp::SasTranslator
- #consistent_with_equals — Sfp::SasTranslator
- #constraint — SfpLang::Parser
- #constraint_body — SfpLang::Parser
- #constraint_class_quantification — SfpLang::Parser
- #constraint_def — SfpLang::Parser
- #constraint_different — SfpLang::Parser
- #constraint_iterator — SfpLang::Parser
- #constraint_namespace — SfpLang::Parser
- #constraint_statement — SfpLang::Parser
- #create_and_constraint — Sfp::SasTranslator
- #create_constraint — Sfp::SfpLangHelper
- #create_equals_constraint — Sfp::SasTranslator
- #create_not_constraint — Sfp::SasTranslator
- #create_not_equals_constraint — Sfp::SasTranslator
- #create_or_constraint — Sfp::SasTranslator
- #create_output — Sfp::SasTranslator
- #cross_product_and — Sfp::SasTranslator
- #deep_clone — Sfp::SfpLangHelper
- #dep_effect — SfpLang::Parser
- #depends — Trollop::Parser
- #description — SfpLang::Lexer::DFA18
- #description — SfpLang::Parser::DFA41
- #description — SfpLang::Parser::DFA75
- #description — SfpLang::Parser::DFA102
- #description — SfpLang::Parser::DFA122
- #description — SfpLang::Parser::DFA138
- #die — Trollop::Parser
- #die — Trollop
- #dump — Sfp::Variable
- #dump — Sfp::Operator
- #dump — Sfp::Parameter
- #dump — Sfp::SasTranslator
- #dump_axioms — Sfp::SasTranslator
- #dump_operators — Sfp::SasTranslator
- #dump_types — Sfp::SasTranslator
- #dump_vars — Sfp::SasTranslator
- #each_arg — Trollop::Parser
- #educate — Trollop::Parser
- #effect? — Sfp::Parameter
- #effect_body — SfpLang::Parser
- #effects — SfpLang::Parser
- #enforce_equals_constraint — Sfp::SasTranslator
- #equals_op — SfpLang::Parser
- #esc_seq! — SfpLang::Lexer
- #evaluate_set_variables_and_types — Sfp::SasTranslator
- #expand_class — Sfp::SfpLangHelper
- #expand_classes — Sfp::SfpLangHelper
- #expand_object — Sfp::SfpLangHelper
- #exponent! — SfpLang::Lexer
- #extends_class — SfpLang::Parser
- #finalize — Sfp::SfpLangHelper
- #flatten_and_or_graph — Sfp::SasTranslator
- #get_list_not_value_of — Sfp::SasTranslator
- #get_post_state — Sfp::Operator
- #get_pre_state — Sfp::Operator
- #get_type — Sfp::SasTranslator::VariableCollector
- #get_type — Sfp::SasTranslator::ValueCollector
- #global_constraint — SfpLang::Parser
- #goal_body — SfpLang::Parser
- #goal_constraint — SfpLang::Parser
- #goto_parent — Sfp::SfpLangHelper
- #ground_procedure_parameters — Sfp::SasTranslator
- #help — Trollop
- #hex_digit! — SfpLang::Lexer
- #id! — SfpLang::Lexer
- #id_ref — SfpLang::Parser
- #identify_immutable_variables — Sfp::SasTranslator
- #include — SfpLang::Parser
- #include_file — SfpLang::Parser
- #init — Sfp::SfpLangHelper
- #initialize_dfas — SfpLang::Lexer
- #initialize_dfas — SfpLang::Parser
- #is_final — Sfp::SasTranslator::VariableCollector
- #is_this — Sfp::SasTranslator
- #isa? — Sfp::SasTranslator::VariableCollector
- #main — Object
- #merge — Sfp::Operator
- #multiline_string! — SfpLang::Lexer
- #mutation — SfpLang::Parser
- #mutation_iterator — SfpLang::Parser
- #nested_constraint — SfpLang::Parser
- #next_id — Sfp::SfpLangHelper
- #nl! — SfpLang::Lexer
- #normalize_formula — Sfp::SasTranslator
- #normalize_nested_left_only — Sfp::SasTranslator
- #normalize_nested_left_right — Sfp::SasTranslator
- #normalize_nested_right_only — Sfp::SasTranslator
- #normalize_nested_right_only_multiple_values — Sfp::SasTranslator
- #normalize_nested_right_values — Sfp::SasTranslator
- #not — Sfp::Variable
- #not_equals_op — SfpLang::Parser
- #not_equals_statement_to_or_constraint — Sfp::SasTranslator
- #null! — SfpLang::Lexer
- #null_value — Sfp::SasTranslator::VariableCollector
- #null_value — Sfp::SfpLangHelper
- #number! — SfpLang::Lexer
- #object_attribute — SfpLang::Parser
- #object_body — SfpLang::Parser
- #object_def — SfpLang::Parser
- #object_schema — SfpLang::Parser
- #object_schemata — SfpLang::Parser
- #octal_esc! — SfpLang::Lexer
- #op_conditions — SfpLang::Parser
- #op_effects — SfpLang::Parser
- #op_param — SfpLang::Parser
- #op_statement — SfpLang::Parser
- #opt — Trollop::Parser
- #options — Trollop
- #parameter — SfpLang::Parser
- #parameters — SfpLang::Parser
- #parse — Sfp::Parser
- #parse — Trollop::Parser
- #parse_float_parameter — Trollop::Parser
- #parse_integer_parameter — Trollop::Parser
- #parse_io_parameter — Trollop::Parser
- #path — SfpLang::Parser
- #path_with_index — SfpLang::Parser
- #placement — SfpLang::Parser
- #post_support_premise — Sfp::SasTranslator
- #post_threat_conclusion — Sfp::SasTranslator
- #postprocess_simple_global_constraint — Sfp::SasTranslator
- #postprocess_simple_global_constraint_to_operator — Sfp::SasTranslator
- #pre_support_premise — Sfp::SasTranslator
- #pre_threat_conclusion — Sfp::SasTranslator
- #preprocess_simple_global_constraint — Sfp::SasTranslator
- #prevail? — Sfp::Parameter
- #primitive_value — SfpLang::Parser
- #probability_op — SfpLang::Parser
- #procedure — SfpLang::Parser
- #process_conditions — Sfp::SasTranslator
- #process_effects — Sfp::SasTranslator
- #process_file — Sfp::SfpLangHelper
- #process_global_constraint — Sfp::SasTranslator
- #process_goal — Sfp::SasTranslator
- #process_grounded_operator — Sfp::SasTranslator
- #process_operator — Sfp::SasTranslator
- #process_procedure — Sfp::SasTranslator
- #process_sometime — Sfp::SasTranslator
- #process_sometime_after — Sfp::SasTranslator
- #quantification_keyword — SfpLang::Parser
- #ref_combinator — Sfp::SasTranslator
- #reference — SfpLang::Parser
- #reference_type — SfpLang::Parser
- #remove_not_and_iterator_constraint — Sfp::SasTranslator
- #requires? — Sfp::Operator
- #reset_operators_name — Sfp::SasTranslator
- #resolve_default_short_options! — Trollop::Parser
- #sas — Sfp::SasTranslator
- #search_and_merge_mutually_inclusive_operators — Sfp::SasTranslator
- #set_equals — Sfp::SasTranslator::GoalVisitor
- #set_item — SfpLang::Parser
- #set_type — SfpLang::Parser
- #set_value — SfpLang::Parser
- #set_variable_values — Sfp::SasTranslator
- #sfp — SfpLang::Parser
- #simple_formulae — Sfp::SasTranslator
- #sometime_constraint — SfpLang::Parser
- #state — SfpLang::Parser
- #state_dependency — SfpLang::Parser
- #stop_on — Trollop::Parser
- #stop_on_unknown — Trollop::Parser
- #string! — SfpLang::Lexer
- #substitute_template — Sfp::SasTranslator
- #supports? — Sfp::Operator
- #t__18! — SfpLang::Lexer
- #t__19! — SfpLang::Lexer
- #t__20! — SfpLang::Lexer
- #t__21! — SfpLang::Lexer
- #t__22! — SfpLang::Lexer
- #t__23! — SfpLang::Lexer
- #t__24! — SfpLang::Lexer
- #t__25! — SfpLang::Lexer
- #t__26! — SfpLang::Lexer
- #t__27! — SfpLang::Lexer
- #t__28! — SfpLang::Lexer
- #t__29! — SfpLang::Lexer
- #t__30! — SfpLang::Lexer
- #t__31! — SfpLang::Lexer
- #t__32! — SfpLang::Lexer
- #t__33! — SfpLang::Lexer
- #t__34! — SfpLang::Lexer
- #t__35! — SfpLang::Lexer
- #t__36! — SfpLang::Lexer
- #t__37! — SfpLang::Lexer
- #t__38! — SfpLang::Lexer
- #t__39! — SfpLang::Lexer
- #t__40! — SfpLang::Lexer
- #t__41! — SfpLang::Lexer
- #t__42! — SfpLang::Lexer
- #t__43! — SfpLang::Lexer
- #t__44! — SfpLang::Lexer
- #t__45! — SfpLang::Lexer
- #t__46! — SfpLang::Lexer
- #t__47! — SfpLang::Lexer
- #t__48! — SfpLang::Lexer
- #t__49! — SfpLang::Lexer
- #t__50! — SfpLang::Lexer
- #t__51! — SfpLang::Lexer
- #t__52! — SfpLang::Lexer
- #t__53! — SfpLang::Lexer
- #t__54! — SfpLang::Lexer
- #t__55! — SfpLang::Lexer
- #t__56! — SfpLang::Lexer
- #t__57! — SfpLang::Lexer
- #t__58! — SfpLang::Lexer
- #t__59! — SfpLang::Lexer
- #t__60! — SfpLang::Lexer
- #t__61! — SfpLang::Lexer
- #t__62! — SfpLang::Lexer
- #t__63! — SfpLang::Lexer
- #t__64! — SfpLang::Lexer
- #t__65! — SfpLang::Lexer
- #t__66! — SfpLang::Lexer
- #t__67! — SfpLang::Lexer
- #t__68! — SfpLang::Lexer
- #t__69! — SfpLang::Lexer
- #t__70! — SfpLang::Lexer
- #t__71! — SfpLang::Lexer
- #t__72! — SfpLang::Lexer
- #t__73! — SfpLang::Lexer
- #t__74! — SfpLang::Lexer
- #t__75! — SfpLang::Lexer
- #t__76! — SfpLang::Lexer
- #t__77! — SfpLang::Lexer
- #t__78! — SfpLang::Lexer
- #t__79! — SfpLang::Lexer
- #t__80! — SfpLang::Lexer
- #t__81! — SfpLang::Lexer
- #t__82! — SfpLang::Lexer
- #t__83! — SfpLang::Lexer
- #t__84! — SfpLang::Lexer
- #t__85! — SfpLang::Lexer
- #t__86! — SfpLang::Lexer
- #text — Trollop::Parser
- #to_and_or_graph — Sfp::SasTranslator
- #to_json — Sfp::Parser
- #to_ref — Sfp::SfpLangHelper
- #to_s — Sfp::Undefined
- #to_s — Sfp::Unknown
- #to_s — Sfp::Any
- #to_s — Sfp::SasTranslator::UndefinedValueException
- #to_s — Sfp::Variable
- #to_s — Sfp::Operator
- #to_s — Sfp::Axiom
- #to_s — Sfp::Parameter
- #to_sas — Sfp::Variable
- #to_sas — Sfp::Operator
- #to_sas — Sfp::Axiom
- #to_sas — Sfp::Parameter
- #to_sas — Sfp::SasTranslator
- #to_set — Sfp::SasTranslator
- #to_sfp — Sfp::SfpLangHelper
- #to_sfw — Sfp::Operator
- #to_sfw — Sfp::Parameter
- #token! — SfpLang::Lexer
- #total_constraint — SfpLang::Parser
- #total_element — Sfp::SasTranslator
- #total_preposts — Sfp::Operator
- #total_prevails — Sfp::Operator
- #total_statement — SfpLang::Parser
- #unicode_esc! — SfpLang::Lexer
- #update_name — Sfp::Operator
- #value — SfpLang::Parser
- #variable_name_and_value — Sfp::SasTranslator
- #version — Trollop::Parser
- #visit — Sfp::SasTranslator::GoalVisitor
- #visit — Sfp::SasTranslator::VariableCollector
- #visit — Sfp::SasTranslator::ValueCollector
- #visit — Sfp::SasTranslator::ParameterGrounder
- #visit — Sfp::Visitor::Default
- #visit — Sfp::Visitor::ConformantVariables
- #visit — Sfp::Visitor::ParentEliminator
- #visit — Sfp::Visitor::AbstractEliminator
- #visit — Sfp::Visitor::ParentGenerator
- #visit — Sfp::Visitor::ProcedureEliminator
- #visit — Sfp::Visitor::PrettyStateGenerator
- #visit — Sfp::Visitor::SfpGenerator
- #visit — Sfp::Visitor::ReferenceModifier
- #visit — Sfp::Visitor::SetModifier
- #visit — Sfp::Visitor::NullModifier
- #visit_and_or_graph — Sfp::SasTranslator
- #with_standard_exception_handling — Trollop
- #wrap_line — Trollop::Parser
- #ws! — SfpLang::Lexer