cube_solver.solver.defs module

Solver definitions.

class cube_solver.solver.defs.TransitionDef(coord_name, coord_size)

Bases: object

Transition table definition.

Parameters:

• coord_name (str) – Cube coordinate name.

• coord_size (int) – Cube coordinate size.

property name: str

Transition table name (same as coord_name).

class cube_solver.solver.defs.PruningDef(name, shape, indexes=None, solver=None, phase=None)

Bases: object

Pruning table definition.

Parameters:

• name (str) – Pruning table name.

• shape (int or tuple of int) – Pruning table shape.

• indexes (int or tuple of int or None, optional) – Index or indexes of the phase coordinates to use for the pruning table. If None, use all the phase coordinates.

• solver (BaseSolver or None, optional) – Solver object. Default is None.

• phase (int or None, optional) – Solver phase (0-indexed). Default is None.

cube_solver.solver.defs.TableDef

Table definition.

alias of TransitionDef | PruningDef