Prover9 Actions

List of actions triggered by counters. Examples:

  terms(actions).

    given=100       -> assign(max_weight, 25).

    generated=10000 -> set(print_gen).

    kept=1000       -> clear(back_demodulation).

  end_of_list.

Action attributes on clauses. Examples:

  clauses(sos).

    A * A != A  #  action(in_proof  ->  exit);

    A * B != B * A  #  answer(commute)  #  action(in_proof  ->  assign(max_vars, 3));

  end_of_list.