:-include(library('ec_planner/ec_test_incl')). :-expects_dialect(pfc). % Tue, 06 Oct 2020 04:58:22 GMT % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.pel:4 /* loading(load_e_pl, '/pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e'). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:0 % event E_policyPermit(policy) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:1 event(e_policyPermit(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:1 events([e_policyPermit/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:1 events([e_policyPermit/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:1 meta_argtypes(e_policyPermit(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:1 meta_argtypes(e_policyPermit(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:1 mpred_prop(e_policyPermit(policy),event). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:1 mpred_prop(e_policyPermit(policy),event). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:1 meta_argtypes(e_policyPermit(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:1 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:1 meta_argtypes(e_policyPermit(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:1 % event E_policyDeny(policy) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:2 event(e_policyDeny(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:2 events([e_policyDeny/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:2 events([e_policyDeny/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:2 meta_argtypes(e_policyDeny(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:2 meta_argtypes(e_policyDeny(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:2 mpred_prop(e_policyDeny(policy),event). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:2 mpred_prop(e_policyDeny(policy),event). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:2 meta_argtypes(e_policyDeny(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:2 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:2 meta_argtypes(e_policyDeny(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:2 % event E_PolicyDoesNotApply(policy) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:3 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:3 event(e_policyDoesNotApply(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:3 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:3 events([e_policyDoesNotApply/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:3 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:3 events([e_policyDoesNotApply/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:3 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:3 meta_argtypes(e_policyDoesNotApply(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:3 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:3 meta_argtypes(e_policyDoesNotApply(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:3 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:3 mpred_prop(e_policyDoesNotApply(policy),event). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:3 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:3 mpred_prop(e_policyDoesNotApply(policy),event). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:3 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:3 meta_argtypes(e_policyDoesNotApply(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:3 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:3 meta_argtypes(e_policyDoesNotApply(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:4 % fluent F_policyPermitted(policy) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:5 fluent(f_policyPermitted(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:5 fluents([f_policyPermitted/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:5 fluents([f_policyPermitted/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:5 meta_argtypes(f_policyPermitted(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:5 meta_argtypes(f_policyPermitted(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:5 mpred_prop(f_policyPermitted(policy),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:5 mpred_prop(f_policyPermitted(policy),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:5 meta_argtypes(f_policyPermitted(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:5 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:5 meta_argtypes(f_policyPermitted(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:5 % fluent F_policyDenied(policy) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:6 fluent(f_policyDenied(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:6 fluents([f_policyDenied/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:6 fluents([f_policyDenied/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:6 meta_argtypes(f_policyDenied(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:6 meta_argtypes(f_policyDenied(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:6 mpred_prop(f_policyDenied(policy),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:6 mpred_prop(f_policyDenied(policy),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:6 meta_argtypes(f_policyDenied(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:6 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:6 meta_argtypes(f_policyDenied(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:6 % fluent F_policyNotApplicable(policy) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:7 fluent(f_policyNotApplicable(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:7 fluents([f_policyNotApplicable/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:7 fluents([f_policyNotApplicable/1]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:7 meta_argtypes(f_policyNotApplicable(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:7 meta_argtypes(f_policyNotApplicable(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:7 mpred_prop(f_policyNotApplicable(policy),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:7 mpred_prop(f_policyNotApplicable(policy),fluent). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:7 meta_argtypes(f_policyNotApplicable(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:7 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:7 meta_argtypes(f_policyNotApplicable(policy)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:8 % predicate PolicyHasRules(policy,rule) % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:9 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:9 predicate(policyHasRules(policy,rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:9 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:9 actions([policyHasRules/2]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:9 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:9 actions([policyHasRules/2]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:9 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:9 meta_argtypes(policyHasRules(policy,rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:9 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:9 meta_argtypes(policyHasRules(policy,rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:9 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:9 mpred_prop(policyHasRules(policy,rule),predicate). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:9 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:9 mpred_prop(policyHasRules(policy,rule),predicate). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:9 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:9 meta_argtypes(policyHasRules(policy,rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:9 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:9 meta_argtypes(policyHasRules(policy,rule)). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:11 % [policy,time] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:11 % Initiates(E_policyPermit(policy),F_policyPermitted(policy),time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:11 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(e_policyPermit(Policy), f_policyPermitted(Policy), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:11 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:11 initiates(e_policyPermit(E_Policypermit), f_policyPermitted(E_Policypermit), Initiates). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:11 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:11 initiated(happens(e_policyPermit(E_Policypermit), Maptime, Happens), f_policyPermitted(E_Policypermit), []). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:12 % [policy,time] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:12 % Initiates(E_policyDeny(policy),F_policyDenied(policy),time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:12 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(e_policyDeny(Policy), f_policyDenied(Policy), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:12 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:12 initiates(e_policyDeny(E_Policydeny), f_policyDenied(E_Policydeny), Initiates). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:12 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:12 initiated(happens(e_policyDeny(E_Policydeny), Maptime, Happens), f_policyDenied(E_Policydeny), []). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:13 % [policy,time] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:13 % Initiates(E_PolicyDoesNotApply(policy),F_policyNotApplicable(policy),time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:13 /* [] -> ta(Time, tvs1=[Time], tvs2=[Time], initiates(e_policyDoesNotApply(Policy), f_policyNotApplicable(Policy), Time)). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:13 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:13 initiates(e_policyDoesNotApply(E_Policydoesnotapply), f_policyNotApplicable(E_Policydoesnotapply), Initiates). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:13 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:13 initiated(happens(e_policyDoesNotApply(E_Policydoesnotapply), Maptime, Happens), f_policyNotApplicable(E_Policydoesnotapply), []). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:17 %; 'Rule combaning algorithm (stategy) : All Permit' % [policy,rule,time] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:18 % Happens(E_policyPermit(policy),time) & PolicyHasRules(policy,rule) -> HoldsAt(F_RulePermitted(rule),time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:18 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:18 happens(e_policyPermit(Policy), Time), policyHasRules(Policy, Rule) -> holds_at(f_rulePermitted(Rule), Time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:18 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:18 reactive_rule([ happens(e_policyPermit(Policy),Time), policyHasRules(Policy,Rule) ], [holds(f_rulePermitted(Rule),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:21 %; 'Rule combaning algorithm (stategy) : Deny override (s il existe au moin une règle satisfaite)' % [policy,time] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:22 % Happens(E_policyDeny(policy),time) -> {rule} PolicyHasRules(policy,rule) & HoldsAt(F_RuleDenied(rule),time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:22 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:22 happens(e_policyDeny(Policy), Time) -> exists([Rule], (policyHasRules(Policy, Rule), holds_at(f_ruleDenied(Rule), Time))). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:22 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:22 reactive_rule([happens(e_policyDeny(Policy), Time)], [ exists([Rule], (policyHasRules(Policy, Rule), at(f_ruleDenied(Rule), Time))) ]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:25 %; 'Rule combaning algorithm (stategy) : All not Applicable' % [policy,time,rule] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:26 % Happens(E_PolicyDoesNotApply(policy),time) & PolicyHasRules(policy,rule) -> HoldsAt(F_RuleNotApplicable(rule),time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:26 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:26 happens(e_policyDoesNotApply(Policy), Time), policyHasRules(Policy, Rule) -> holds_at(f_ruleNotApplicable(Rule), Time). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:26 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:26 reactive_rule([ happens(e_policyDoesNotApply(Policy),Time), policyHasRules(Policy,Rule) ], [holds(f_ruleNotApplicable(Rule),Time)]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:29 % [policy] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:29 % !HoldsAt(F_policyPermitted(policy),0). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:29 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(f_policyPermitted(Policy)))). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:29 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:29 initially(neg(f_policyPermitted(Policypermitted))). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:29 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:29 initial_state([not(f_policyPermitted(Policypermitted))]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:30 % [policy] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:30 % !HoldsAt(F_policyDenied(policy),0). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:30 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(f_policyDenied(Policy)))). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:30 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:30 initially(neg(f_policyDenied(Policydenied))). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:30 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:30 initial_state([not(f_policyDenied(Policydenied))]). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:31 % [policy] % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:31 % !HoldsAt(F_policyNotApplicable(policy),0). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:31 /* [] -> ta(TaP_Num4_V, tvs1=[], tvs2=[], initially(neg(f_policyNotApplicable(Policy)))). */ % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:31 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:31 initially(neg(f_policyNotApplicable(Policynotapplicable))). % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:31 % From /pack/logicmoo_ec/ext/ec_sources/includes/SaaSPatterns/PolicyPatterns/policyModel.e:31 initial_state([not(f_policyNotApplicable(Policynotapplicable))]).