1. Yaron Minsky
  2. train-tracks-and-permutations

Commits

Yaron Minsky  committed 7a4cc90

simplified IET interface

  • Participants
  • Parent commits 2565164
  • Branches default

Comments (0)

Files changed (1)

File ocaml/iet.mli

View file
  • Ignore whitespace
 
 val num_strands : t -> int
 
-(** Find the branch you would be on for the given oriented strand *)
-val lookup_branch : t -> (Strand.t * Side.t)  -> Branch.t
-
 type attachment =
   { strand_range : Strand.t * Strand.t
   ; side : Side.t
   }
 with sexp
 
-val is_in_attachment : attachment -> (Strand.t * Side.t) -> bool
-
-val lookup_attachments
-  :  t
-  -> Branch.t
-  -> attachment * attachment
-
-
 type strand_info =
   { branch : Branch.t
   ; this   : attachment