aboutsummaryrefslogtreecommitdiff
path: root/src/commands.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/commands.h')
-rw-r--r--src/commands.h9
1 files changed, 7 insertions, 2 deletions
diff --git a/src/commands.h b/src/commands.h
index 5d9f4ee..65708e0 100644
--- a/src/commands.h
+++ b/src/commands.h
@@ -5,6 +5,9 @@
5 5
6#include "solve.h" 6#include "solve.h"
7#include "steps.h" 7#include "steps.h"
8#include "solver_step.h"
9#include "threader_single.h"
10#include "threader_eager.h"
8 11
9void free_args(CommandArgs *args); 12void free_args(CommandArgs *args);
10CommandArgs * new_args(); 13CommandArgs * new_args();
@@ -29,7 +32,7 @@ void steps_exec(CommandArgs *args);
29void commands_exec(CommandArgs *args); 32void commands_exec(CommandArgs *args);
30void freemem_exec(CommandArgs *args); 33void freemem_exec(CommandArgs *args);
31void print_exec(CommandArgs *args); 34void print_exec(CommandArgs *args);
32void twophase_exec(CommandArgs *args); 35/*void twophase_exec(CommandArgs *args);*/
33void help_exec(CommandArgs *args); 36void help_exec(CommandArgs *args);
34void quit_exec(CommandArgs *args); 37void quit_exec(CommandArgs *args);
35void unniss_exec(CommandArgs *args); 38void unniss_exec(CommandArgs *args);
@@ -138,6 +141,7 @@ help_cmd = {
138 .exec = help_exec, 141 .exec = help_exec,
139}; 142};
140 143
144/*
141Command 145Command
142twophase_cmd = { 146twophase_cmd = {
143 .name = "twophase", 147 .name = "twophase",
@@ -146,6 +150,7 @@ twophase_cmd = {
146 .parse_args = parse_only_scramble, 150 .parse_args = parse_only_scramble,
147 .exec = twophase_exec, 151 .exec = twophase_exec,
148}; 152};
153*/
149 154
150Command 155Command
151quit_cmd = { 156quit_cmd = {
@@ -194,7 +199,7 @@ Command *commands[] = {
194 &solve_cmd, 199 &solve_cmd,
195 &scramble_cmd, 200 &scramble_cmd,
196 &steps_cmd, 201 &steps_cmd,
197 &twophase_cmd, 202/* &twophase_cmd,*/
198 &cleanup_cmd, 203 &cleanup_cmd,
199 &unniss_cmd, 204 &unniss_cmd,
200 &version_cmd, 205 &version_cmd,

Generated with cgit - Back to sebastiano.tronto.net