85 Lines

8 Predicates

Imported Modules: module_information

2 Exports

10 specified Imports

Imports	Exports
Name: append/2 Module: lists Name: list_to_ord_set/2 Module: ordsets Name: create_implication/3 Module: bsyntaxtree Name: create_negation/2 Module: bsyntaxtree Name: get_texpr_type/2 Module: bsyntaxtree Name: safe_create_texpr/3 Module: bsyntaxtree Name: conjunct_predicates/2 Module: bsyntaxtree Name: conjunction_to_list/2 Module: bsyntaxtree Name: b_get_invariant_from_machine/1 Module: bmachine Name: b_get_machine_variables/1 Module: bmachine	Name: get_abstract_domain/1 Name: concrete_state_to_abstract_state/3

Imports

Exports

Name: append/2

Module: lists

Name: list_to_ord_set/2

Module: ordsets

Name: create_implication/3

Module: bsyntaxtree

Name: create_negation/2

Module: bsyntaxtree

Name: get_texpr_type/2

Module: bsyntaxtree

Name: safe_create_texpr/3

Module: bsyntaxtree

Name: conjunct_predicates/2

Module: bsyntaxtree

Name: conjunction_to_list/2

Module: bsyntaxtree

Name: b_get_invariant_from_machine/1

Module: bmachine

Name: b_get_machine_variables/1

Module: bmachine

Name: get_abstract_domain/1

Name: concrete_state_to_abstract_state/3

Predicates

Predicates:

concrete_state_to_abstract_state/3

concrete_state_to_abstract_state_aux/3

get_abstract_domain/1

get_conjuncts_of_initial_state/1

get_conjuncts_of_invariant/1

pairwise_inequalities_of_variables/1

pairwise_inequalities_of_variables/2

pairwise_inequalities_of_variables/3

concrete_state_to_abstract_state/3

concrete_state_to_abstract_state_aux/3

get_abstract_domain/1

get_conjuncts_of_initial_state/1

get_conjuncts_of_invariant/1

pairwise_inequalities_of_variables/1

pairwise_inequalities_of_variables/2

pairwise_inequalities_of_variables/3

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),_3441,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/symbolic_model_checker/predicate_abstraction.pl')])
! 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/symbolic_model_checker/predicate_abstraction.pl')])

Name: RECURSIVE_CALL/3	Module: predicate_abstraction
Name: !
Name: solve_negated/2	Module: foo_error
Name: create_implication/3	Module: bsyntaxtree
Name: create_negation/2	Module: bsyntaxtree

Name: list_to_ord_set/2	Module: ordsets
Name: append/2	Module: lists
Name: pairwise_inequalities_of_variables/1	Module: predicate_abstraction
Name: get_conjuncts_of_initial_state/1	Module: predicate_abstraction
Name: get_conjuncts_of_invariant/1	Module: predicate_abstraction

Name: append/3
Name: RECURSIVE_CALL/2	Module: predicate_abstraction
Name: pairwise_inequalities_of_variables/3	Module: predicate_abstraction
Name: !

predicate_abstraction

prob_prolog/src/symbolic_model_checker/predicate_abstraction.pl

Modules

Predicates of predicate_abstraction

Module Information

85 Lines

8 Predicates

Imported Modules: module_information

2 Exports

10 specified Imports

Predicates:

concrete_state_to_abstract_state/3

concrete_state_to_abstract_state_aux/3

get_abstract_domain/1

get_conjuncts_of_initial_state/1

get_conjuncts_of_invariant/1

pairwise_inequalities_of_variables/1

pairwise_inequalities_of_variables/2

pairwise_inequalities_of_variables/3

Determinacy Checker:

Name: conjunct_predicates/2	Module: bsyntaxtree
Name: concrete_state_to_abstract_state_aux/3	Module: predicate_abstraction

Name: conjunction_to_list/2	Module: bsyntaxtree
Name: get_initial_state_predicate/1	Module: foo_error