Opened 7 years ago

Closed 7 years ago

#112 closed defect (fixed)

Make "more solutions" prompt controllable from GUI

Reported by: ke Owned by: ke
Priority: major Milestone:
Component: kahina-qtype Version:
Keywords: Cc:

Description


Change History (3)

comment:1 Changed 7 years ago by ke

Also, grey out "grammar" menu entries while prompt is active, if possible.

comment:2 Changed 7 years ago by ke

The key predicates are:

cmd_aux:display_multi_solutions/2 (one clause for deterministic commands, one for nondeterministic commands, one for the end where there's no more solutions) cmd_aux:press_key/0 (does the prompting)

Possibly need to pay attention to interaction with tracer_abort exceptions.

comment:3 Changed 7 years ago by ke

  • Resolution set to fixed
  • Status changed from new to closed

Solved this differently: QType's behavior when Kahina is active is now to always backtrack, the rest is GUI control: if you want to stop at the next solution, Auto-Complete is your friend.

Note: See TracTickets for help on using tickets.