Dynamic Predicates: abstraction/3

! Existence error in argument 1 of absolute_file_name/3
! file synthesis(logging) does not exist
! goal: absolute_file_name(synthesis(logging),_3733,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/synthesis/syngar/b_synthesis_afta.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_273,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/synthesis/syngar/b_synthesis_afta.pl')])

Name: test/1	Module: b_synthesis_afta_tests
Name: init_abstractions/1	Module: b_synthesis_afta
Name: test/2	Module: b_synthesis_afta_tests

Name: format/2
Name: split_and_assert_abstractions/4	Module: b_synthesis_afta
Name: set_abstraction_step_size/1	Module: b_synthesis_afta
Name: set_abstraction_upper_size/1	Module: b_synthesis_afta
Name: get_integer_interval_size/3	Module: b_synthesis_afta
Name: max_int/1	Module: b_synthesis_afta
Name: min_int/1	Module: b_synthesis_afta

Name: RECURSIVE_CALL/4	Module: b_synthesis_afta
Name: is/2
Name: split_and_assert_abstractions_aux/3	Module: b_synthesis_afta
Name: !
Name: >/2
Name: fail
Name: =</2

Name: test/2	Module: b_synthesis_afta_tests
Name: test/1	Module: b_synthesis_afta_tests
Name: init_abstractions/1	Module: b_synthesis_afta

b_synthesis_afta

prob_prolog/src/synthesis/syngar/b_synthesis_afta.pl

Modules

Predicates of b_synthesis_afta

Module Information

Dynamic Predicates: abstraction/3

67 Lines

10 Predicates

0 Exports

2 Imports

Predicates:

b_synthesis_afta/7

get_integer_interval_size/3

init_abstractions/0

init_abstractions/1

max_int/1

min_int/1

set_abstraction_step_size/1

set_abstraction_upper_size/1

split_and_assert_abstractions/4

split_and_assert_abstractions_aux/3

Determinacy Checker:

Name: abstraction/3	dynamic predicate
Name: assert/1