Dynamic Predicates: node/1 prob_current/2 table_prob0/2 table_prob1/2

309 Lines

22 Predicates

8 Exports

6 Imports

Imports	Exports
Name: {}/1 Module: clpr Name: add_error/3 Module: error_manager Name: find_initialised_states/1 Module: state_space Name: xtl_transition/4 Module: xtl_interface Name: visited_expression/2 Module: state_space Name: visited_expression_id/1 Module: state_space	Name: pctl_model_check/4 Name: sat/1 Name: sat/2 Name: search_prob0/3 Name: prob0/3 Name: prob1/3 Name: table_prob0/2 Name: state/1

Imports

Exports

Name: {}/1

Module: clpr

Name: add_error/3

Module: error_manager

Name: find_initialised_states/1

Module: state_space

Name: xtl_transition/4

Module: xtl_interface

Name: visited_expression/2

Module: state_space

Name: visited_expression_id/1

Module: state_space

Name: pctl_model_check/4

Name: sat/1

Name: sat/2

Name: search_prob0/3

Name: prob0/3

Name: prob1/3

Name: table_prob0/2

Name: state/1

Predicates

Predicates:

transition_probability/3

against/3

against(P_phi,P,equal) :-
    ground(P) ->
    P_phi =< P + 0.00000000000000023,
    P =< P_phi + 0.00000000000000023
    ; P = P_phi
.

against(P_phi,P,less) :-
    ground(P),
    P_phi =< P + 0.00000000000000023. % less

against(P_phi,P,greater) :-
    ground(P),
    P_phi >= P - 0.00000000000000023. % greater

against(P_phi,P,strictly_less) :-
    ground(P),
    P_phi < P + 0.00000000000000023. % strictly less

against(P_phi,P,strictly_greater) :-
    ground(P),
    P_phi > P - 0.00000000000000023. % strictly_greater

against(P_phi,P,not(less)) :- against(P_phi,P,strictly_greater).

against(P_phi,P,not(greater)) :- against(P_phi,P,strictly_less).

against(P_phi,P,not(strictly_less)) :- against(P_phi,P,sup).

against(P_phi,P,not(strictly_greater)) :- against(P_phi,P,less).

Calls:

Name: RECURSIVE_CALL/3	Module: dtmc_model_checking
Name: >/2
Name: ground/1
Name: </2
Name: >=/2
Name: =</2
Name: =/2
Name: ->/3

Called:

Name: prob_calc/5	Module: dtmc_model_checking
Name: prob_calc_sub/6	Module: dtmc_model_checking
Name: prob_calc_sub/5	Module: dtmc_model_checking
Name: sat/2	Module: dtmc_model_checking

find_prob_u/4

find_prob_u([E],[P],E,P).

find_prob_u([S1,S2|List_S],[Prob1,Prob2|P_vect],E,P) :-
(E=S1,P=Prob1)
; find_prob_u([S2|List_S],[Prob2|P_vect],E,P).

Calls:

Name: RECURSIVE_CALL/4	Module: dtmc_model_checking
Name: =/2

Called:

Name: !
Name: table_prob0/2	dynamic predicate
Name: retract/1
Name: asserta/1
Name: RECURSIVE_CALL/3	Module: dtmc_model_checking
Name: ->/2
Name: not/1
Name: trans/3	Module: foo_error
Name: assertz/1
Name: sat/2	Module: dtmc_model_checking

Name: !
Name: table_prob1/2	dynamic predicate
Name: retract/1
Name: asserta/1
Name: RECURSIVE_CALL/3	Module: dtmc_model_checking
Name: ->/2
Name: not/1
Name: trans/3	Module: foo_error
Name: assert/1
Name: sat/2	Module: dtmc_model_checking
Name: table_prob0/2	dynamic predicate

Name: =/2
Name: find_prob_u/4	Module: dtmc_model_checking
Name: ->/3
Name: state/1	Module: dtmc_model_checking
Name: prob_calc_u1/4	Module: dtmc_model_checking
Name: retractall/1

Name: !
Name: against/3	Module: dtmc_model_checking
Name: prob_calc_sub/6	Module: dtmc_model_checking
Name: sat/2	Module: dtmc_model_checking
Name: ->/3
Name: prob_current/2	dynamic predicate
Name: assert/1
Name: retractall/1
Name: prob_calc_sub/5	Module: dtmc_model_checking

Name: RECURSIVE_CALL/6	Module: dtmc_model_checking
Name: is/2
Name: sat/2	Module: dtmc_model_checking
Name: transition_probability/3	Module: dtmc_model_checking
Name: >/2
Name: against/3	Module: dtmc_model_checking
Name: prob_current/2	dynamic predicate
Name: assert/1
Name: retract/1
Name: ->/3

Name: prob_calc_u2/6	Module: dtmc_model_checking
Name: findall/3

Name: sat/2	Module: dtmc_model_checking
Name: start/1	Module: dtmc_model_checking

Name: RECURSIVE_CALL/2	Module: dtmc_model_checking
Name: is/2
Name: sat_dynamic/2	Module: dtmc_model_checking
Name: =/2
Name: ->/3
Name: against/3	Module: dtmc_model_checking
Name: prob_calc/3	Module: dtmc_model_checking
Name: sat_not/2	Module: dtmc_model_checking
Name: \=/2
Name: check_ap/2	Module: foo_error
Name: fail

Name: retractall/1
Name: sat_dynamic_node/3	Module: dtmc_model_checking
Name: node/1	dynamic predicate
Name: assert/1
Name: retract/1
Name: is/2
Name: ->/3

Name: fail
Name: nl
Name: write/1
Name: =/2
Name: member/2
Name: ->/3
Name: xtl_transition/4	Module: xtl_interface
Name: visited_expression/2	Module: state_space
Name: trans/3	Module: foo_error

prob_prolog/extensions/markov/dtmc_model_checking.pl

Modules

Predicates of dtmc_model_checking

Module Information

Dynamic Predicates: node/1 prob_current/2 table_prob0/2 table_prob1/2

309 Lines

22 Predicates

8 Exports

6 Imports

Predicates:

Determinacy Checker: