java -jar <jar name> <input file> [-i <input format>]

<input format> is optional and defaults to aba (another possible format is apx). Directory examples contains exemplary ABA frameworks.

A dispute state is presented in the following way:

<dispute state number>. <move type>: <rule / assumption>
Dispute state:
  <B>:
  
  <goals and contraries of culprits without complete arguments for proponent>
  
  <defences>
  
  <culprits>
 
  
[Information who won the game if applicable]  

e.g.:

Press one of the following button followed by Enter:

• ? - print possible moves in current situation, grouped by the type of the move.
• s | show - print information about current dispute state
• f - perform random move forward
• f <N> - perform N random moves forward (if possible)
• h | help - show help
• d - show info about decorators
• legend - generate a DOT file explaining used shapes and colours
• b - backtrack once
• bb - backtrack to the very beginning (initial state)
• b <N> - backtrack N times (if possible)
• q | quit - quit
• a - switch to argument-based dispute state representation (does not work correctly yet)
• <move type> - perform random move of type move type
• <move type> <index> - perform a move of type move type and of index index (according to the moves listed when inputting ?)
• dot [s] - generate a DOT graph representation based on rule-based graph to a file. When used with s (optional), solid colours are used for fillings instead of gradients
• dot [s] <filename> - generate a DOT graph representation based on rule-based graph to <filename> file
• i | info - print information about currently set dispute advancement type and termination criteria type
• ca <dispute advancement type> - set the dispute advancement type to <dispute advancement type>
• ct <termination criteria type> - set the termination criteria type to <termination criteria type>

PB1, PB2, PF1, PF2, OB1, OB2, OF1, OF2

DF, DAB, DABF, DC, DS

TA, TC, TS

where the meaning of shapes and colours is as follows: