114 Lines

10 Predicates

Imported Modules: random lists

3 Exports

8 specified Imports

Imports	Exports
Name: non_det_transform_bexpr_with_acc/5 Module: bsyntaxtree Name: get_rodin_name/2 Module: bsyntaxtree Name: get_rodin_model_name/2 Module: bsyntaxtree Name: b_get_invariant_from_machine/1 Module: bmachine Name: state_corresponds_to_initialised_b_machine/2 Module: specfile Name: b_test_boolean_expression_for_ground_state/4 Module: b_interpreter Name: current_state_id/1 Module: state_space Name: visited_expression/2 Module: state_space	Name: mutate_bexpr/2 Name: mutate_bexpr/3 Name: mutate_invariant/2

Imports

Exports

Name: non_det_transform_bexpr_with_acc/5

Module: bsyntaxtree

Name: get_rodin_name/2

Module: bsyntaxtree

Name: get_rodin_model_name/2

Module: bsyntaxtree

Name: b_get_invariant_from_machine/1

Module: bmachine

Name: state_corresponds_to_initialised_b_machine/2

Module: specfile

Name: b_test_boolean_expression_for_ground_state/4

Module: b_interpreter

Name: current_state_id/1

Module: state_space

Name: visited_expression/2

Module: state_space

Name: mutate_bexpr/2

Name: mutate_bexpr/3

Name: mutate_invariant/2

Predicates

Predicates:

check_random/1

max_mutations_reached/1

mutate_texpr_top_level/4

test_not_pred_in_state_id/2

test_pred_in_state_id/2

update_max_mutations/2

check_random/1

max_mutations_reached/1

mutate_texpr_top_level/4

test_not_pred_in_state_id/2

test_pred_in_state_id/2

update_max_mutations/2

Determinacy Checker

Determinacy Checker:

! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bsyntaxtree) does not exist
! goal: absolute_file_name(probsrc(bsyntaxtree),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/extra/mutate_expressions.pl')])

Name: =</2
Name: random/1	Module: foo_error
Name: !
Name: member/2

Name: format/2
Name: test_not_pred_in_state_id/2	Module: mutate_expressions
Name: ->/2
Name: test_pred_in_state_id/2	Module: mutate_expressions
Name: current_state_id/1	Module: state_space
Name: mutate_bexpr/3	Module: mutate_expressions
Name: b_get_invariant_from_machine/1	Module: bmachine

Name: check_random/1	Module: mutate_expressions
Name: mutate/3	Module: mutate_expressions
Name: update_max_mutations/2	Module: mutate_expressions

Name: =/2
Name: is/2
Name: >/2
Name: !
Name: select/3	Module: foo_error

mutate_expressions

prob_prolog/src/extra/mutate_expressions.pl

Modules

Predicates of mutate_expressions

Module Information

114 Lines

10 Predicates

Imported Modules: random lists

3 Exports

8 specified Imports

Predicates:

check_random/1

max_mutations_reached/1

mutate/3

mutate_bexpr/2

mutate_bexpr/3

mutate_invariant/2

mutate_texpr_top_level/4

test_not_pred_in_state_id/2

test_pred_in_state_id/2

update_max_mutations/2

Determinacy Checker:

Name: max_mutations_reached/1	Module: mutate_expressions
Name: non_det_transform_bexpr_with_acc/5	Module: bsyntaxtree

Name: b_test_boolean_expression_for_ground_state/4	Module: b_interpreter
Name: not/1
Name: state_corresponds_to_initialised_b_machine/2	Module: specfile
Name: visited_expression/2	Module: state_space