Dynamic Predicates: unique_counter/1 debug_identifier/0

113 Lines

18 Predicates

Imported Modules: module_information bsyntaxtree

11 Exports

3 specified Imports

Imports	Exports
Name: ajoin/2 Module: tools Name: translate_bexpression/2 Module: translate Name: info_disjunct/3 Module: predicate_analysis	Name: extract_finite_integer_range/3 Name: unique_identifier/1 Name: unique_identifier/2 Name: unique_identifier/3 Name: merge_integer_info/3 Name: kodkod_conjunction/2 Name: kodkod_implication/3 Name: disassemble_conjunction/2 Name: pow2integer_relation_kodkod_name/1 Name: intset_relation_kodkod_name/1 Name: is_inconsistent_expression/1

Imports

Exports

Name: ajoin/2

Module: tools

Name: translate_bexpression/2

Module: translate

Name: info_disjunct/3

Module: predicate_analysis

Name: extract_finite_integer_range/3

Name: unique_identifier/1

Name: unique_identifier/2

Name: unique_identifier/3

Name: merge_integer_info/3

Name: kodkod_conjunction/2

Name: kodkod_implication/3

Name: disassemble_conjunction/2

Name: pow2integer_relation_kodkod_name/1

Name: intset_relation_kodkod_name/1

Name: is_inconsistent_expression/1

Predicates

Predicates:

convert_scopelist_to_scope/3

disassemble_conjunction/2

disassemble_conjunction2/3

extract_finite_integer_range/3

extract_finite_integer_range2/3

increase_counter/1

intset_relation_kodkod_name/1

is_finite/1

is_inconsistent_expression/1

is_inconsistent_intrange/1

kodkod_conjunction/2

kodkod_conjunction2/2

kodkod_implication/3

merge_integer_info/3

pow2integer_relation_kodkod_name/1

unique_identifier/1

unique_identifier/2

unique_identifier/3

convert_scopelist_to_scope/3

disassemble_conjunction/2

disassemble_conjunction2/3

extract_finite_integer_range/3

extract_finite_integer_range2/3

increase_counter/1

intset_relation_kodkod_name/1

is_finite/1

is_inconsistent_expression/1

is_inconsistent_intrange/1

kodkod_conjunction/2

kodkod_conjunction2/2

kodkod_implication/3

merge_integer_info/3

pow2integer_relation_kodkod_name/1

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_tools.pl')])

Name: RECURSIVE_CALL/3	Module: kodkod_tools
Name: arg/3
Name: functor/3

Name: =/2
Name: \=/2
Name: RECURSIVE_CALL/3	Module: kodkod_tools

Name: extract_finite_integer_range2/3	Module: kodkod_tools
Name: convert_scopelist_to_scope/3	Module: kodkod_tools

Name: throw/1
Name: ajoin/2	Module: tools
Name: translate_bexpression/2	Module: translate
Name: !
Name: =/2
Name: is_finite/1	Module: kodkod_tools
Name: is_inconsistent_intrange/1	Module: kodkod_tools
Name: ->/3
Name: memberchk/2
Name: get_texpr_info/2	Module: foo_error

Name: assertz/1
Name: is/2
Name: =/2
Name: true
Name: unique_counter/1	dynamic predicate
Name: retract/1
Name: ->/3

kodkod_tools

prob_prolog/src/kodkod/kodkod_tools.pl

Modules

Predicates of kodkod_tools

Module Information

Dynamic Predicates: unique_counter/1 debug_identifier/0

113 Lines

18 Predicates

Imported Modules: module_information bsyntaxtree

11 Exports

3 specified Imports

Predicates:

convert_scopelist_to_scope/3

disassemble_conjunction/2

disassemble_conjunction2/3

extract_finite_integer_range/3

extract_finite_integer_range2/3

increase_counter/1

intset_relation_kodkod_name/1

is_finite/1

is_inconsistent_expression/1

is_inconsistent_intrange/1

kodkod_conjunction/2

kodkod_conjunction2/2

kodkod_implication/3

merge_integer_info/3

pow2integer_relation_kodkod_name/1

unique_identifier/1

unique_identifier/2

unique_identifier/3

Determinacy Checker:

Name: debug_println/2	Module: debug
Name: !
Name: is_inconsistent_intrange/1	Module: kodkod_tools
Name: \=/2
Name: member/2
Name: memberchk/2

Name: kodkod_conjunction2/2	Module: kodkod_tools
Name: findall/3

Name: ajoin/2	Module: tools
Name: increase_counter/1	Module: kodkod_tools

Name: </2
Name: number/1