Index of values

apply i t creates a new tile by applying transformation i to t

apply i p creates a new pattern which is the result of the transformation of p by i

Smart constructors for ZDD.

The total number of solutions.

Returns the number of solutions.

construct a tile from his name, its symetries s and its multiplicity m.

create m creates a pattern of type t from a boolean matrix

Creates an EMC problem.

Creates a DLX data structure from a matrix of Boolean values.

construct a problem from his name, the board pattern and a list of tile

To be used instead of create when the matrix is large but sparse.

To be used when the matrix is sparse.

crop p x y w h creates a pattern from p with the rectangle of size w, h at position x, y in p

inter p1 p2 creates a pattern from the logical difference beetween p1 and p2

Encode the given problem under EMC

Returns the first solution that is found.

Returns the first solution that is found.

has_iso t p returns true if p is invariant by i

inter p1 p2 creates a pattern from the logical intersection beetween p1 and p2

Emc.iter_solution f p applies f in turn to each solution.

iter_solution f p applies f on each solution of the problem p, one at a time.

Decodes a solution as a list of rows (rows are 0-based)

print a tile

print a pattern

Prints a ZDD as a set of sets of integers, e.g.

print a problem

Print a solution, as a space-separated list of integers

print a solution with ascii symboles to draw tiles

print a solution under the svg format

print a solution to the svg format on the given file

print_to_dot fmt z prints a ZDD z in DOT format

print_to_dot f z outputs ZDD z in DOT format in file f

resize p w h change the size of p to w (width) and h (height).

shift p ofsx ofsy shift pattern p by osfx, osfy

Number of internal nodes of a given ZDD.

Returns the total number of unique ZDD built so far

union p1 p2 creates a pattern from the logical union beetween p1 and p2

Each ZDD has a unique integer

xor p1 p2 creates a pattern from the logical xor beetween p1 and p2