From 4aa4cb50b0a6f67d31a576d20b25a28d9d28073d Mon Sep 17 00:00:00 2001 From: Tiago Gomes Date: Thu, 10 Jan 2013 23:02:34 +0000 Subject: [PATCH] Switch solver order in examples --- packages/CLPBN/examples/burglary-alarm.pfl | 2 +- packages/CLPBN/examples/city.pfl | 2 +- packages/CLPBN/examples/comp_workshops.pfl | 3 ++- packages/CLPBN/examples/learning/sprinkler_params.yap | 2 +- packages/CLPBN/examples/social_network1.pfl | 2 +- packages/CLPBN/examples/social_network2.pfl | 2 +- packages/CLPBN/examples/sprinkler.pfl | 2 +- packages/CLPBN/examples/workshop_attrs.pfl | 2 +- 8 files changed, 9 insertions(+), 8 deletions(-) diff --git a/packages/CLPBN/examples/burglary-alarm.pfl b/packages/CLPBN/examples/burglary-alarm.pfl index 1583e3f1c..f2024c200 100644 --- a/packages/CLPBN/examples/burglary-alarm.pfl +++ b/packages/CLPBN/examples/burglary-alarm.pfl @@ -1,7 +1,7 @@ :- use_module(library(pfl)). -:- set_solver(hve). %:- set_solver(ve). +%:- set_solver(hve). %:- set_solver(jt). %:- set_solver(bdd). %:- set_solver(bp). diff --git a/packages/CLPBN/examples/city.pfl b/packages/CLPBN/examples/city.pfl index d79e824a8..d86d336fe 100644 --- a/packages/CLPBN/examples/city.pfl +++ b/packages/CLPBN/examples/city.pfl @@ -5,8 +5,8 @@ :- use_module(library(pfl)). -:- set_solver(hve). %:- set_solver(ve). +%:- set_solver(hve). %:- set_solver(jt). %:- set_solver(bdd). %:- set_solver(bp). diff --git a/packages/CLPBN/examples/comp_workshops.pfl b/packages/CLPBN/examples/comp_workshops.pfl index 1b020035b..deed627ac 100644 --- a/packages/CLPBN/examples/comp_workshops.pfl +++ b/packages/CLPBN/examples/comp_workshops.pfl @@ -5,9 +5,10 @@ :- use_module(library(pfl)). -:- set_solver(hve). %:- set_solver(ve). +%:- set_solver(hve). %:- set_solver(jt). +%:- set_solver(bdd). %:- set_solver(bp). %:- set_solver(cbp). %:- set_solver(gibbs). diff --git a/packages/CLPBN/examples/learning/sprinkler_params.yap b/packages/CLPBN/examples/learning/sprinkler_params.yap index b01102576..0666cb8ca 100644 --- a/packages/CLPBN/examples/learning/sprinkler_params.yap +++ b/packages/CLPBN/examples/learning/sprinkler_params.yap @@ -4,7 +4,7 @@ :- use_module(library(clpbn/learning/em)). -:- set_em_solver(ve). +%:- set_em_solver(ve). %:- set_em_solver(hve). %:- set_em_solver(bdd). %:- set_em_solver(bp). diff --git a/packages/CLPBN/examples/social_network1.pfl b/packages/CLPBN/examples/social_network1.pfl index e8f976e3a..30399c72e 100644 --- a/packages/CLPBN/examples/social_network1.pfl +++ b/packages/CLPBN/examples/social_network1.pfl @@ -5,8 +5,8 @@ :- use_module(library(pfl)). -:- set_solver(hve). %:- set_solver(ve). +%:- set_solver(hve). %:- set_solver(jt). %:- set_solver(bdd). %:- set_solver(bp). diff --git a/packages/CLPBN/examples/social_network2.pfl b/packages/CLPBN/examples/social_network2.pfl index 8dc823da4..9d4af6f25 100644 --- a/packages/CLPBN/examples/social_network2.pfl +++ b/packages/CLPBN/examples/social_network2.pfl @@ -5,8 +5,8 @@ :- use_module(library(pfl)). -:- set_solver(hve). %:- set_solver(ve). +%:- set_solver(hve). %:- set_solver(jt). %:- set_solver(bdd). %:- set_solver(bp). diff --git a/packages/CLPBN/examples/sprinkler.pfl b/packages/CLPBN/examples/sprinkler.pfl index a69c2158e..8d1a93844 100644 --- a/packages/CLPBN/examples/sprinkler.pfl +++ b/packages/CLPBN/examples/sprinkler.pfl @@ -1,7 +1,7 @@ :- ensure_loaded(library(pfl)). -:- set_solver(hve). %:- set_solver(ve). +%:- set_solver(hve). %:- set_solver(jt). %:- set_solver(bdd). %:- set_solver(bp). diff --git a/packages/CLPBN/examples/workshop_attrs.pfl b/packages/CLPBN/examples/workshop_attrs.pfl index 248529980..26e50907f 100644 --- a/packages/CLPBN/examples/workshop_attrs.pfl +++ b/packages/CLPBN/examples/workshop_attrs.pfl @@ -5,8 +5,8 @@ :- use_module(library(pfl)). -:- set_solver(hve). %:- set_solver(ve). +%:- set_solver(hve). %:- set_solver(jt). %:- set_solver(bdd). %:- set_solver(bp).