250 Lines

39 Predicates

Imported Modules: lists bsyntaxtree bmachine b_interpreter store b_enumerate kernel_waitflags error_manager junit_tests translate succeed_max kodkod kodkod_process

2 Exports

8 specified Imports

Imports	Exports
Name: start_ms_timer/1 Module: tools Name: stop_ms_timer/2 Module: tools Name: average/2 Module: tools Name: ajoin/2 Module: tools Name: module_info/2 Module: module_information Name: add_error/2 Module: error_manager Name: get_preference/2 Module: preferences Name: time_out_call/2 Module: tools_timeout	Name: test_kodkod/1 Name: compare_kodkod_performance/2

Imports

Exports

Name: start_ms_timer/1

Module: tools

Name: stop_ms_timer/2

Module: tools

Name: average/2

Module: tools

Name: ajoin/2

Module: tools

Name: module_info/2

Module: module_information

Name: add_error/2

Module: error_manager

Name: get_preference/2

Module: preferences

Name: time_out_call/2

Module: tools_timeout

Name: test_kodkod/1

Name: compare_kodkod_performance/2

Meta: check(0,-)

compare_kodkod_performance/2

find_kodkod_solutions/4

find_prob_solutions/3

find_solution/3

find_solutions/3

get_kodkod_comp_time/2

get_kodkod_java_time/2

get_kodkod_nsol/2

get_kodkod_prep_time/2

kodkod_performance2/3

kodkod_performance3/4

kodkod_performance4/4

kodkod_performance5/5

kodkod_present/1

kodkod_translation/3

measured_call/2

Meta: measured_call(0,?)

Determinacy Checker:

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

Name: length/2
Name: get_java_comp_time/1	Module: foo_error
Name: =/2
Name: ==/2
Name: ->/3
Name: measured_call/2	Module: kodkod_test
Name: clear_java_comp_time	Module: foo_error
Name: !

Name: length/2
Name: =/2
Name: ==/2
Name: ->/3
Name: measured_call/2	Module: kodkod_test

Name: fail
Name: add_error/2	Module: error_manager
Name: throw/1
Name: in_junit_mode/0	Module: kodkod_test
Name: ->/3
Name: true
Name: call/1

Name: find_kodkod_solutions/4	Module: kodkod_test
Name: test_kodkod2/1	Module: kodkod_test

Name: fail
Name: add_error/2	Module: error_manager
Name: true
Name: is_same/2	Module: kodkod_test
Name: ->/3

Name: summarize_kodkod/2	Module: kodkod_test
Name: summarize_prob/2	Module: kodkod_test

Name: close/1
Name: maplist/2	Module: foo_error
Name: open/3
Name: kodkod_performance/2	Module: kodkod_test

Name: find_solutions/3	Module: kodkod_test
Name: is/2
Name: predicate_size/2	Module: kodkod_test
Name: check/2	Module: kodkod_test
Name: replace_by_kodkod/3	Module: foo_error

Name: ground_wait_flags/1	Module: foo_error
Name: b_test_boolean_expression/4	Module: foo_error
Name: b_tighter_enumerate_values_in_ctxt/3	Module: foo_error
Name: init_wait_flags_with_call_stack/2	Module: foo_error
Name: normalise_store/2	Module: foo_error
Name: set_up_typed_localstate/6	Module: foo_error
Name: empty_state/1	Module: foo_error

Name: sort/2
Name: findall/3
Name: get_preference/2	Module: preferences

Name: find_prob_solutions/3	Module: kodkod_test
Name: find_kodkod_solutions/4	Module: kodkod_test

Name: store_testcase/1	Module: kodkod_test
Name: check/2	Module: kodkod_test

Name: maplist/3	Module: foo_error
Name: predicate_components/2	Module: foo_error
Name: b_get_properties_from_machine/1	Module: foo_error

Name: kodkod_performance4/4	Module: kodkod_test
Name: include/3	Module: foo_error

Name: RECURSIVE_CALL/5	Module: kodkod_test
Name: is/2
Name: call_prob/3	Module: kodkod_test
Name: call_kodkod/3	Module: kodkod_test
Name: !
Name: >/2

Name: memberchk/2
Name: create_texpr/4	Module: foo_error
Name: conjunction_to_list/2	Module: foo_error

Name: apply_transformation2/3	Module: kodkod
Name: try_predicate_analysis_with_global_sets/4	Module: kodkod

Name: =/2
Name: ->/2
Name: ->/3
Name: stop_ms_timer/2	Module: tools
Name: time_out_call/2	Module: tools_timeout
Name: start_ms_timer/1	Module: tools

Name: format/3
Name: translate_bexpression/2	Module: foo_error

Name: write/2
Name: true
Name: =/2
Name: ->/3
Name: print_result2/3	Module: kodkod_test
Name: print_intro/2	Module: kodkod_test

Name: print_time/3	Module: kodkod_test
Name: memberchk/2
Name: is/2

Name: create_and_print_junit_result/4	Module: foo_error
Name: b_machine_name/1	Module: foo_error
Name: !
Name: in_junit_mode/0	Module: kodkod_test

Name: check_same/2	Module: kodkod_test
Name: maplist/3	Module: foo_error
Name: average/2	Module: tools
Name: summarize_times/2	Module: kodkod_test
Name: !
Name: memberchk/2

prob_prolog/src/kodkod/kodkod_test.pl

Modules

Predicates of kodkod_test

Module Information

250 Lines

39 Predicates

Imported Modules: lists bsyntaxtree bmachine b_interpreter store b_enumerate kernel_waitflags error_manager junit_tests translate succeed_max kodkod kodkod_process

2 Exports

8 specified Imports

Predicates:

Determinacy Checker: