probvm_optimize

../../prolog/plugins/probvm/probvm_optimize.pl

Modules

  • ProB_Preferences_maxx.pl
  • TestPrefs.pl
  • absint
  • alloy2b
  • ample_sets
  • any.pl
  • assert_profiler
  • ast_cleanup_for_smt
  • ast_inspector
  • atelierb_provers_interface
  • atom.pl
  • avl_tools
  • avl_tree.pl
  • avl_ugraphs
  • b_abstract_interpreter
  • b_abstract_interpreter_helpers
  • b_abstract_mappings
  • b_arithmetic_expressions.pl
  • b_ast_cleanup
  • b_ast_cleanup_rewrite_rules
  • b_compiler
  • b_enumerate
  • b_expression_sharing
  • b_global_sets
  • b_interpreter
  • b_interpreter.pl
  • b_interpreter_check
  • b_interpreter_components
  • b_interpreter_eventb
  • b_machine_hierarchy
  • b_normal_form
  • b_operation_cache
  • b_read_write_info
  • b_show_history
  • b_simplifier
  • b_slicing
  • b_state_model_check
  • b_to_cnf
  • b_trace_checking
  • basic_unit_tests
  • before_after_predicates
  • benchmark.pl
  • benchmark_analyser.pl
  • between.pl
  • block_checker.pl
  • bmachine
  • bmachine_construction
  • bmachine_eventb
  • bmachine_static_checks
  • bmachine_structure
  • bmc
  • bool_pred
  • bool_pred_test.pl
  • boolean.pl
  • bsets_clp
  • bsets_clp.pl
  • bsyntaxtree
  • btypechecker
  • builtin_tools
  • bvisual
  • bvisual_any_maxsolver
  • cbc_ba
  • cbc_refinement_checks
  • ce_replay
  • choice_point_profiler
  • chr_set_membership
  • closures
  • clpfd_interface
  • clpfd_lists
  • clpfd_off_interface
  • clpfd_tables
  • consistencycheck
  • constraints
  • counter
  • coverage_statistics
  • coverage_term_expander.pl
  • coverage_tools
  • coverage_tools_annotations
  • csp_basic
  • csp_sequences
  • csp_sets
  • csp_tsets.pl
  • csp_tuples
  • ctigar
  • ctl
  • custom_explicit_sets
  • custom_explicit_sets.pl
  • cvc4interface
  • data_generator
  • debug
  • debugging_calls
  • debugging_calls_te.pl
  • delay
  • dependence
  • disprover
  • disprover_test_runner
  • disprover_test_runner_cli.pl
  • dot_graph_generator
  • dot_graphs_static_analysis
  • eclipse_interface
  • enable_graph
  • enabling_analysis
  • enabling_predicates
  • error_manager
  • eval_strings
  • evalstores
  • eventhandling
  • experiment.pl
  • external_functions
  • fastload
  • fastwhen
  • fastwhen_te.pl
  • fd_utils_clpfd
  • fdr_csp_generator
  • find_whens.pl
  • fixed_value.pl
  • float.pl
  • flow
  • fuzzer
  • fuzzer_runner.pl
  • fuzzfile
  • fuzzing
  • gensym
  • graph_canon
  • graph_iso_nauty
  • graphiso
  • graphiso_test
  • gui_tcltk.pl
  • h_int
  • halt.pl
  • hashing
  • haskell_csp
  • haskell_csp_analyzer
  • heuristic_grouping.pl
  • hit_profiler
  • ic3
  • inf_arith
  • infolog_problem_db.pl
  • input_syntax_tree
  • inspect.pl
  • integer.pl
  • interval
  • interval_calc
  • json
  • junit_tests
  • kernel_cardinality
  • kernel_dif
  • kernel_equality
  • kernel_freetypes
  • kernel_frozen_info
  • kernel_mappings
  • kernel_mappings.pl
  • kernel_objects
  • kernel_objects.pl
  • kernel_ordering
  • kernel_propagation
  • kernel_records
  • kernel_strings
  • kernel_sym_break_order
  • kernel_tools
  • kernel_waitflags
  • kernel_z
  • kinduction
  • kodkod
  • kodkod2
  • kodkod_integer_recalc
  • kodkod_printer
  • kodkod_process
  • kodkod_rewrite
  • kodkod_test
  • kodkod_tools
  • kodkod_translate
  • kodkod_typing
  • latex_processor
  • library_setup
  • list.pl
  • location_vars_to_program
  • log_analyser
  • logger
  • logging
  • ltl
  • ltl2ba
  • ltl_fairness
  • ltl_propositions
  • ltl_safety
  • ltl_tools
  • ltl_translate
  • ltl_verification
  • ltlc
  • ltsmin
  • ltsmin_c_interface
  • ltsmin_trace
  • master
  • maxsolver
  • mcdc_coverage
  • member_of.pl
  • meta_interface
  • mic_generation
  • mini_test_pe
  • model_checker
  • model_translation
  • module_information
  • msg_interop
  • mutation
  • mutation.pl
  • mutation_prob_ast_int_expr.pl
  • mutation_prob_ast_pred.pl
  • mutation_prob_ast_seq_expr.pl
  • mutation_prob_ast_set_expr.pl
  • myheap
  • myset
  • number.pl
  • parsercall
  • partition_detection
  • pathes
  • pe
  • performance_messages
  • pge_algo
  • plspec
  • plspec_test
  • pltables
  • pltables_export
  • pltables_export_csv
  • pltables_export_html
  • pltables_export_latex
  • pltables_export_tools
  • pltables_export_xml
  • plugins
  • pofiles
  • pragmas
  • predicate_abstraction
  • predicate_analysis
  • predicate_debugger
  • predicate_evaluator
  • predicate_handling
  • pref_definitions
  • preferences
  • preprofiler
  • prob2_interface
  • prob_ast_any.pl
  • prob_ast_boolean.pl
  • prob_ast_couple.pl
  • prob_ast_eval_int_expr.pl
  • prob_ast_eval_pred.pl
  • prob_ast_eval_seq_expr.pl
  • prob_ast_eval_set_expr.pl
  • prob_ast_expr.pl
  • prob_ast_identifier.pl
  • prob_ast_int_expr.pl
  • prob_ast_integer.pl
  • prob_ast_minimize_int_expr.pl
  • prob_ast_minimize_pred.pl
  • prob_ast_minimize_seq_expr.pl
  • prob_ast_minimize_set_expr.pl
  • prob_ast_pred.pl
  • prob_ast_record.pl
  • prob_ast_sat.pl
  • prob_ast_seq.pl
  • prob_ast_seq_expr.pl
  • prob_ast_set.pl
  • prob_ast_set_expr.pl
  • prob_ast_string.pl
  • prob_cli.pl
  • prob_cov.pl
  • prob_profiling_cli.pl
  • prob_rule_compiler
  • prob_socketserver
  • prob_startup
  • prob_state_bindlist.pl
  • prob_state_predicates
  • prob_tcltk.pl
  • prob_value_any.pl
  • prob_value_boolean.pl
  • prob_value_integer.pl
  • prob_value_record.pl
  • prob_value_seq.pl
  • prob_value_set.pl
  • prob_value_string.pl
  • probhash
  • probsocket_proxy.pl
  • probvm
  • probvm_compiler
  • probvm_interpreter
  • probvm_mappings
  • probvm_optimize
  • probvm_termexpansion
  • profiler
  • profiler_gui
  • profiler_te
  • prologTasks
  • promela_ncprinter
  • promela_ncprinter
  • promela_ncprinter
  • promela_tools
  • proz
  • ptest.pl
  • random_permutations
  • rational.pl
  • record_detection
  • reduce_graph_state_space
  • refinement_checker
  • rewrite_rules_db
  • runtime_profiler
  • safety_mc
  • sap
  • satsolver
  • schemaexpansion
  • schemavars
  • self_check
  • self_check_off.pl
  • seq_rewriter
  • simkeys.pl
  • smt_common_predicates
  • smt_solvers_interface
  • smtlib2_cli
  • smtlib2_environment
  • smtlib2_interpreter
  • smtlib2_parser
  • smtlib2_parser_tests.pl
  • smtlib2_translation
  • snippets.pl
  • solver_dispatcher
  • solver_handling
  • solver_interface
  • source_profiler
  • specfile
  • state_custom_dot_graph
  • state_packing
  • state_permuter
  • state_space
  • state_space_dijkstra
  • state_space_exploration_modes
  • state_space_explorer
  • state_space_open_nodes
  • state_space_open_nodes_c
  • state_space_reduction
  • state_viewer_images
  • static_analysis
  • static_ordering
  • static_symmetry_reduction
  • store
  • store.pl
  • subexpressions
  • succeed_max
  • symmetry_marker
  • symmetry_reduction
  • synthesis_tests
  • synthesis_util
  • system_call
  • table_tools
  • tcltk_interface.pl
  • tcltk_interface.pl
  • tcltk_tree_inspector
  • test
  • test
  • test.pl
  • test2
  • test_nodestore.pl
  • test_pe
  • test_runner
  • test_typechecker
  • testaddon
  • testcases
  • testdining
  • testltlc
  • testsignal.pl
  • timeout_check.pl
  • timer
  • tools
  • tools_commands
  • tools_files
  • tools_io
  • tools_lists
  • tools_meta
  • tools_printing
  • tools_strings
  • tools_timeout
  • translate
  • translate_keywords
  • tree.pl
  • typechecker
  • typing_tools
  • unit_parser
  • units
  • units_alias
  • units_conversions
  • units_domain
  • units_interpreter
  • units_interpreter_helpers
  • units_prettyprint
  • units_tools
  • unsat_core_generalization
  • unsat_cores
  • user_interrupts
  • user_signal
  • value_persistance
  • variable.pl
  • version
  • visualize_graph
  • weakest_preconditions
  • whash_send
  • worker
  • xml2b
  • xml_prob
  • xtl
  • xtl_interface
  • xtl_program
  • z3interface
  • z_tools
  • z_typechecker
  • zenvironment
  • zlib
  • zmq
  • zparameters
  • ztransformations
  • Predicates of probvm_optimize

  • addWeight/2
  • check_unifyable/4
  • check_unifyable2/3
  • is_det_statement/1
  • optimize_instructions/2
  • optimize_instructions/3
  • optimize_instructions2/3
  • optimize_negate/2
  • pick/5
  • propagate_equals/4
  • propagate_equals2/3
  • removeWeight/2
  • remove_simple_equations/2
  • remove_simple_equations2/3
  • simple_equation/3
  • sort_by_weight/2
  • unify_duplicate_instructions/2
  • Module Information

    Module Information


    142 Lines

    17 Predicates

    Imported Modules:           terms          lists          module_information          tools

    1 Exports

    0 specified Imports

    Imports Exports

    Name:    optimize_instructions/2



    Predicates

    Predicates:

  • addWeight/2
  • check_unifyable/4
  • check_unifyable2/3
  • is_det_statement/1
  • optimize_instructions/2
  • optimize_instructions/3
  • optimize_instructions2/3
  • optimize_negate/2
  • pick/5
  • propagate_equals/4
  • propagate_equals2/3
  • removeWeight/2
  • remove_simple_equations/2
  • remove_simple_equations2/3
  • simple_equation/3
  • sort_by_weight/2
  • unify_duplicate_instructions/2


  • addWeight/2

    addWeight/2



    check_unifyable/4

    check_unifyable/4



    check_unifyable2/3

    check_unifyable2/3



    is_det_statement/1

    is_det_statement/1



    optimize_instructions/2

    optimize_instructions/2



    optimize_instructions/3

    optimize_instructions/3



    optimize_instructions2/3

    optimize_instructions2/3



    optimize_negate/2

    optimize_negate/2



    pick/5

    pick/5



    propagate_equals/4

    propagate_equals/4



    propagate_equals2/3

    propagate_equals2/3



    removeWeight/2

    removeWeight/2



    remove_simple_equations/2

    remove_simple_equations/2



    remove_simple_equations2/3

    remove_simple_equations2/3



    simple_equation/3

    simple_equation/3



    sort_by_weight/2

    sort_by_weight/2



    unify_duplicate_instructions/2

    unify_duplicate_instructions/2



    Determinacy Checker

    Determinacy Checker:

    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(module_information) does not exist
    ! goal: absolute_file_name(probsrc(module_information),_4085,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/plugins/probvm/probvm_optimize.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(tools) does not exist
    ! goal: absolute_file_name(probsrc(tools),_4485,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/plugins/probvm/probvm_optimize.pl')])
    * Non-determinate: probvm_optimize:optimize_instructions2/3 (clause 1)
    * Indexing cannot distinguish this from clause 2.
    * Non-determinate: probvm_optimize:optimize_instructions2/3 (clause 1)
    * Calls nondet predicate probvm_optimize:select/3 .
    * Non-determinate: probvm_optimize:optimize_instructions2/3 (clause 2)
    * Indexing cannot distinguish this from clause 3.
    * Non-determinate: probvm_optimize:optimize_instructions2/3 (clause 3)
    * Indexing cannot distinguish this from clause 4.
    * Non-determinate: probvm_optimize:optimize_instructions2/3 (clause 4)
    * Indexing cannot distinguish this from clause 5.
    * Non-determinate: probvm_optimize:simple_equation/3 (clause 3)
    * Indexing cannot distinguish this from clause 4.
    * Non-determinate: probvm_optimize:optimize_negate/2 (clause 1)
    * Indexing cannot distinguish this from clause 2.
    * Non-determinate: probvm_optimize:unify_duplicate_instructions/2 (clause 1)
    * Calls nondet predicate probvm_optimize:select/3 .
    * Non-determinate: probvm_optimize:pick/5 (clause 1)
    * Indexing cannot distinguish this from clause 2.