Dynamic Predicates: symmetry_breaking_predicates/1 conflicts/1 restarts/1 unique_predicates/1 theory_propagations/1 clause_reductions/1 forgotten_clauses/1 inferred_implications/1 inferred_wd_theory_implications/1 boolean_decisions/1 unit_propagations/1

189 Lines

13 Predicates

13 Exports

2 Imports

Imports	Exports
Name: module_info/2 Module: module_information Name: conjunction_to_list/2 Module: bsyntaxtree	Name: reset_stats/0 Name: print_stats/0 Name: log_symmetry_breaking_stats/1 Name: log_conflict/0 Name: log_restart/0 Name: log_unique_predicates/1 Name: log_theory_propagation/0 Name: log_set_of_learned_clauses_reduction/0 Name: log_forgotten_clauses/1 Name: log_inferred_implications/1 Name: log_inferred_wd_theory_implications/1 Name: log_boolean_decision/0 Name: log_unit_propagation/0

Imports

Exports

Name: module_info/2

Module: module_information

Name: conjunction_to_list/2

Module: bsyntaxtree

Name: reset_stats/0

Name: print_stats/0

Name: log_symmetry_breaking_stats/1

Name: log_conflict/0

Name: log_restart/0

Name: log_unique_predicates/1

Name: log_theory_propagation/0

Name: log_set_of_learned_clauses_reduction/0

Name: log_forgotten_clauses/1

Name: log_inferred_implications/1

Name: log_inferred_wd_theory_implications/1

Name: log_boolean_decision/0

Name: log_unit_propagation/0

Predicates

Predicates:

log_boolean_decision/0

log_conflict/0

log_forgotten_clauses/1

log_inferred_implications/1

log_inferred_wd_theory_implications/1

log_restart/0

log_set_of_learned_clauses_reduction/0

log_symmetry_breaking_stats/1

log_theory_propagation/0

log_unique_predicates/1

log_unit_propagation/0

print_stats/0

reset_stats/0

log_boolean_decision/0

Description:
log_boolean_decision.

log_conflict/0

Description:
log_conflict.

log_forgotten_clauses/1

Description:
log_forgotten_clauses(+Amount).

log_inferred_implications/1

Description:
log_inferred_implications(+ImplsConj).

log_inferred_wd_theory_implications/1

Description:
log_inferred_wd_theory_implications(+ImplsConj).

log_restart/0

Description:
log_restart.

log_set_of_learned_clauses_reduction/0

Description:
log_set_of_learned_clauses_reduction.

log_symmetry_breaking_stats/1

Description:
log_symmetry_breaking_stats(+FoundSBPs).

log_theory_propagation/0

Description:
log_theory_propagation.

log_unique_predicates/1

Description:
log_unique_predicates(+SatVarNames).

log_unit_propagation/0

Description:
log_unit_propagation.

print_stats/0

Description:
print_stats.

reset_stats/0

Description:
reset_stats.

Determinacy Checker

Determinacy Checker:

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

Name: asserta/1
Name: is/2
Name: boolean_decisions/1	dynamic predicate
Name: retract/1
Name: !
Name: log_stats/1	Module: foo_error

Name: asserta/1
Name: is/2
Name: conflicts/1	dynamic predicate
Name: retract/1
Name: !
Name: log_stats/1	Module: foo_error

Name: asserta/1
Name: is/2
Name: forgotten_clauses/1	dynamic predicate
Name: retract/1
Name: !
Name: log_stats/1	Module: foo_error

Name: asserta/1
Name: inferred_implications/1	dynamic predicate
Name: retract/1
Name: length/2
Name: conjunction_to_list/2	Module: bsyntaxtree
Name: !
Name: \=/2
Name: log_stats/1	Module: foo_error

Name: asserta/1
Name: inferred_implications/1	dynamic predicate
Name: retract/1
Name: length/2
Name: conjunction_to_list/2	Module: bsyntaxtree
Name: !
Name: \=/2
Name: log_stats/1	Module: foo_error

cdclt_stats

prob_prolog/src/cdclt_solver/cdclt_stats.pl

Modules

Predicates of cdclt_stats

Module Information

Dynamic Predicates: symmetry_breaking_predicates/1 conflicts/1 restarts/1 unique_predicates/1 theory_propagations/1 clause_reductions/1 forgotten_clauses/1 inferred_implications/1 inferred_wd_theory_implications/1 boolean_decisions/1 unit_propagations/1

189 Lines

13 Predicates

13 Exports

2 Imports

Predicates:

log_boolean_decision/0

log_conflict/0

log_forgotten_clauses/1

log_inferred_implications/1

log_inferred_wd_theory_implications/1

log_restart/0

log_set_of_learned_clauses_reduction/0

log_symmetry_breaking_stats/1

log_theory_propagation/0

log_unique_predicates/1

log_unit_propagation/0

print_stats/0

reset_stats/0

Determinacy Checker:

Name: asserta/1
Name: is/2
Name: restarts/1	dynamic predicate
Name: retract/1
Name: !
Name: log_stats/1	Module: foo_error

Name: asserta/1
Name: is/2
Name: clause_reductions/1	dynamic predicate
Name: retract/1
Name: !
Name: log_stats/1	Module: foo_error

Name: asserta/1
Name: symmetry_breaking_predicates/1	dynamic predicate
Name: retract/1
Name: !
Name: log_stats/1	Module: foo_error

Name: asserta/1
Name: is/2
Name: theory_propagations/1	dynamic predicate
Name: retract/1
Name: !
Name: log_stats/1	Module: foo_error

Name: asserta/1
Name: unique_predicates/1	dynamic predicate
Name: retract/1
Name: length/2
Name: !
Name: log_stats/1	Module: foo_error

Name: asserta/1
Name: is/2
Name: unit_propagations/1	dynamic predicate
Name: retract/1
Name: !
Name: log_stats/1	Module: foo_error

Name: format/2
Name: boolean_decisions/1	dynamic predicate
Name: unit_propagations/1	dynamic predicate
Name: inferred_wd_theory_implications/1	dynamic predicate
Name: inferred_implications/1	dynamic predicate
Name: forgotten_clauses/1	dynamic predicate
Name: clause_reductions/1	dynamic predicate
Name: theory_propagations/1	dynamic predicate
Name: unique_predicates/1	dynamic predicate
Name: restarts/1	dynamic predicate
Name: conflicts/1	dynamic predicate
Name: symmetry_breaking_predicates/1	dynamic predicate
Name: !
Name: log_stats/1	Module: foo_error