package combine

You can search for identifiers within the package.

in-package search v0.2.0

package combine

combine
- Combine
  - D4
    
    S
  - Dlx
  - Emc
    
    D
    
    ARITH
    
    Count
    
    A
    
    S
    
    ARITH
    
    Count
    
    A
    
    Sat
    
    Z
    
    ARITH
    
    Count
    
    A
  - Tiling
    
    Pattern
    
    Tile
  - Zdd
    
    ARITH
    
    Cardinal
    
    A
    
    S

Legend:
Library
Module
Module type
Parameter
Class
Class type

type symetries =

| Snone
| Srotations
| Sall

type multiplicity =

| Minf
| Mone
| Mmaybe

type t = private {

name : string option;
pattern : Pattern.t;
multiplicity : multiplicity;
symetries : symetries;
isos : D4.subgroup;

}

val create : ?name:string -> ?s:symetries -> ?m:multiplicity -> Pattern.t -> t

val apply : D4.t -> t -> t

val print : Format.formatter -> t -> unit