Changeset 537 for experiments/frams/logic/run-abduction.cmd

Timestamp:

07/24/16 13:45:52 (8 years ago)

Author:

Maciej Komosinski

Message:

ExpParams? -> ExpProperties? (compatibility with v5.x)

File:

• experiments/frams/logic/run-abduction.cmd (modified) (1 diff)

experiments/frams/logic/run-abduction.cmd

@@ -7 +7 @@
 
 rem The abduction problem consting of an abductive goal being a simple conjuction and two formulas forming a database:
-frams "ex logic_abduction" "ExpParams.params=\"K_q_s;C_p_q C_r_s;abdOut1.txt\"; Simulator.init();" "go" "qu"
+frams "ex logic_abduction" "ExpProperties.params=\"K_q_s;C_p_q C_r_s;abdOut1.txt\"; Simulator.init();" "go" "qu"
 
 rem The abduction problem consting of an abductive goal being a propositional variable and two formulas forming a database:
-frams "ex logic_abduction" "ExpParams.params=\"q;C_K_p_r_q C_C_N_r_q_p;abdOut2.txt\"; Simulator.init();" "go" "qu"
+frams "ex logic_abduction" "ExpProperties.params=\"q;C_K_p_r_q C_C_N_r_q_p;abdOut2.txt\"; Simulator.init();" "go" "qu"