119 Lines

! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_8521,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/absint/absint.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools) does not exist
! goal: absolute_file_name(probsrc(tools),_10413,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/absint/absint.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(state_space) does not exist
! goal: absolute_file_name(probsrc(state_space),_10813,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/absint/absint.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(specfile) does not exist
! goal: absolute_file_name(probsrc(specfile),_11213,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/absint/absint.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bmachine) does not exist
! goal: absolute_file_name(probsrc(bmachine),_11613,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/absint/absint.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(preferences) does not exist
! goal: absolute_file_name(probsrc(preferences),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/absint/absint.pl')])

Name: set_invariant_violated/1	Module: foo_error
Name: absint_check_boolean_expression/6	Module: foo_error
Name: b_get_invariant_from_machine/1	Module: foo_error
Name: state_corresponds_to_initialised_b_machine/2	Module: foo_error
Name: !
Name: invariant_violated/1	Module: foo_error

Name: create_initialisation_operation/2	Module: specfile
Name: absint_execute_statement/5	Module: foo_error
Name: b_get_initialisation_from_machine/2	Module: foo_error
Name: absint_build_initial_state/2	Module: foo_error
Name: b_get_machine_variables/1	Module: foo_error
Name: !
Name: b_machine_has_constants_or_properties	Module: foo_error
Name: not/1
Name: bmachine_is_precompiled/0	Module: bmachine
Name: =/2
Name: safe_univ/2	Module: foo_error
Name: extract_value_list/2	Module: absint
Name: get_preference/2	Module: preferences
Name: ->/3
Name: absint_check_boolean_expression/6	Module: foo_error
Name: b_get_properties_from_machine/1	Module: foo_error
Name: b_get_machine_constants/1	Module: foo_error

Name: =/2
Name: \=/2
Name: ->/3
Name: =../2
Name: find_abstract_transition/5	Module: foo_error
Name: b_top_level_operation/1	Module: foo_error
Name: bmachine_is_precompiled/0	Module: bmachine
Name: create_initialisation_operation/2	Module: specfile
Name: sort/2
Name: absint_execute_statement/5	Module: foo_error
Name: b_get_initialisation_from_machine/2	Module: foo_error
Name: append/3
Name: absint_build_initial_state/2	Module: foo_error
Name: b_get_machine_variables/1	Module: foo_error
Name: !

absint

prob_prolog/unused_code/plugins/absint/absint.pl

Modules

Predicates of absint

Module Information

119 Lines

12 Predicates

Imported Modules: module_information tools state_space specfile bmachine b_abstract_interpreter b_abstract_interpreter_helpers

1 Exports

1 specified Imports

Predicates:

do_check_invariant/2

do_initialisation/3

do_transition/4

extract_value_list/2

find_state_property/2

notify_new_transition/4

plugin_info/1

plugin_init/0

pp_prop/2

pp_trans/2

pp_value/2

preference/4

Determinacy Checker: