175 Lines

17 Predicates

Imported Modules: module_information avl ordsets lists

6 Exports

11 specified Imports

Imports	Exports
Name: inc_counter/1 Module: counter/counter Name: get_preference/2 Module: preferences Name: temporary_set_preference/3 Module: preferences Name: reset_temporary_preference/2 Module: preferences Name: solve_predicate/5 Module: solver_interface Name: print_bexpr/1 Module: translate Name: disjunct_predicates/2 Module: bsyntaxtree Name: conjunction_to_list/2 Module: bsyntaxtree Name: conjunct_predicates/2 Module: bsyntaxtree Name: clean_up_pred/3 Module: b_ast_cleanup Name: debug_format/3 Module: debug	Name: clauses_on_level/4 Name: add_clauses_to_level/4 Name: in_solver_on_level/3 Name: solve/2 Name: solve_negated/2 Name: initial_state/1

Imports

Exports

Name: inc_counter/1

Module: counter/counter

Name: get_preference/2

Module: preferences

Name: temporary_set_preference/3

Module: preferences

Name: reset_temporary_preference/2

Module: preferences

Name: solve_predicate/5

Module: solver_interface

Name: print_bexpr/1

Module: translate

Name: disjunct_predicates/2

Module: bsyntaxtree

Name: conjunction_to_list/2

Module: bsyntaxtree

Name: conjunct_predicates/2

Module: bsyntaxtree

Name: clean_up_pred/3

Module: b_ast_cleanup

Name: debug_format/3

Module: debug

Name: clauses_on_level/4

Name: add_clauses_to_level/4

Name: in_solver_on_level/3

Name: solve/2

Name: solve_negated/2

Name: initial_state/1

Predicates

Predicates:

add_clauses_to_level/4

throw_if_solvers_too_weak/2

try_further_solvers/1

add_clauses_to_level/4

throw_if_solvers_too_weak/2

try_further_solvers/1

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),_4009,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/symbolic_model_checker/solver_handling.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/symbolic_model_checker/solver_handling.pl')])

Name: avl_store/4	Module: foo_error
Name: exclude/3	Module: foo_error
Name: ord_union/3	Module: foo_error
Name: list_to_ord_set/2	Module: foo_error
Name: clauses_on_level/4	Module: solver_handling
Name: maplist/3	Module: foo_error

Name: =/2
Name: get_preference/2	Module: preferences
Name: ->/3
Name: !

Name: solve/2	Module: solver_handling
Name: solve2/3	Module: solver_handling

Name: append/3
Name: maplist/3	Module: foo_error
Name: clauses_on_level/4	Module: solver_handling

Name: =/2
Name: solve/2	Module: solver_handling
Name: conjunct_predicates/2	Module: bsyntaxtree
Name: get_initial_state_predicate/1	Module: foo_error

solver_handling

prob_prolog/src/symbolic_model_checker/solver_handling.pl

Modules

Predicates of solver_handling

Module Information

175 Lines

17 Predicates

Imported Modules: module_information avl ordsets lists

6 Exports

11 specified Imports

Predicates:

add_clauses_to_level/4

clauses_on_level/4

get_timeout_factor/2

in_solver_on_level/3

initial_state/1

is_subsumed/2

options_to_try/1

print_result/2

solve/2

solve2/3

solve3/3

solve4/3

solve_negated/2

solve_prob/4

solve_provers/2

throw_if_solvers_too_weak/2

try_further_solvers/1

Determinacy Checker:

Name: ord_subtract/3	Module: foo_error
Name: \=/2
Name: member/2

Name: solve2/3	Module: solver_handling
Name: solve4/3	Module: solver_handling
Name: solve/2	Module: solver_handling
Name: solve3/3	Module: solver_handling

Name: solve2/3	Module: solver_handling
Name: print_result/2	Module: solver_handling
Name: solve_prob/4	Module: solver_handling
Name: get_timeout_factor/2	Module: solver_handling
Name: =/2
Name: inc_counter/1	Module: counter/counter
Name: clean_up_pred/3	Module: b_ast_cleanup

Name: throw_if_solvers_too_weak/2	Module: solver_handling
Name: print_result/2	Module: solver_handling
Name: solve_provers/2	Module: solver_handling
Name: !
Name: get_preference/2	Module: preferences
Name: try_further_solvers/1	Module: solver_handling

Name: solve/2	Module: solver_handling
Name: create_negation_and_cleanup/2	Module: foo_error

Name: throw/1
Name: nl
Name: print_bexpr/1	Module: translate
Name: format/2
Name: !
Name: \=/2