Ignore:
Timestamp:
09/26/17 14:21:23 (7 years ago)
Author:
Maciej Komosinski
Message:

The "ex" macro renamed to "expdef" since 5.0rc12

File:
1 edited

Legend:

Unmodified
Added
Removed
  • experiments/frams/logic/run-abduction.cmd

    r537 r703  
    77
    88rem The abduction problem consting of an abductive goal being a simple conjuction and two formulas forming a database:
    9 frams "ex logic_abduction" "ExpProperties.params=\"K_q_s;C_p_q C_r_s;abdOut1.txt\"; Simulator.init();" "go" "qu"
     9frams "expdef logic_abduction" "ExpProperties.params=\"K_q_s;C_p_q C_r_s;abdOut1.txt\"; Simulator.init();" "go" "qu"
    1010
    1111rem The abduction problem consting of an abductive goal being a propositional variable and two formulas forming a database:
    12 frams "ex logic_abduction" "ExpProperties.params=\"q;C_K_p_r_q C_C_N_r_q_p;abdOut2.txt\"; Simulator.init();" "go" "qu"
     12frams "expdef logic_abduction" "ExpProperties.params=\"q;C_K_p_r_q C_C_N_r_q_p;abdOut2.txt\"; Simulator.init();" "go" "qu"
    1313
Note: See TracChangeset for help on using the changeset viewer.