source: Deliverables/Dissemination/final-review/wp5/Pics/ternary1.ml @ 3282

open Mlpost


(* Helpers *)

let tex = Box.tex ~dx:(Num.cm 0.2) ~dy:(Num.cm 0.1) ~stroke:(Some Color.black)

let texttt name s = tex ~name ("\\texttt{" ^ s ^ "}")

let middle p1 p2 =
  let p = Point.add p1 p2 in
  Point.mult (Num.of_float 0.5) p

let pathp = Path.pathp ~style:Path.jLine


(* Boxes *)

let cond = texttt "cond" "x?"
let res1 = texttt "res1" "y+2*z"
let res2 = texttt "res2" "z"

let boxes =
  let res = Box.vbox ~padding:(Num.cm 0.1) [res1 ; res2] in
  Box.hbox ~padding:(Num.cm 1.) [cond ; res]


(* Arrows *)

let edge = 0.5

let get s = Box.get s boxes

let entry =
  let p2 = Box.west (get "cond") in
  let p1 = Point.shift (Point.pt (Num.cm (-.edge), Num.zero)) p2 in
  [Arrow.simple ~dashed:Dash.evenly (pathp [p1 ; p2])]

let exits =
  let p1 = Box.east (get "res1") in
  let p2 = Point.shift (Point.pt (Num.cm edge, Num.zero)) p1 in
  let p3 = Box.east (get "res2") in
  let p4 = Point.pt (Point.xpart p2, Point.ypart p3) in
  [Arrow.simple ~dashed:Dash.evenly (pathp [p1 ; p2]) ;
   Arrow.simple ~dashed:Dash.evenly (pathp [p3 ; p4])]

let branch =
  let p1 = Box.east (get "cond") in
  let p3 = Box.west (get "res1") in
  let p2 = Point.pt (Point.xpart (middle p1 p3), Point.ypart p1) in
  let p4 = Box.west (get "res2") in
  let ptmp1 = Point.pt (Point.xpart p2, Point.ypart p3) in
  let ptmp2 = Point.pt (Point.xpart p2, Point.ypart p4) in
  [Path.draw (pathp [p1 ; p2]) ;
   Arrow.simple (pathp [p2 ; ptmp1 ; p3]) ;
   Arrow.simple (pathp [p2 ; ptmp2 ; p4])]

let arrows = Box.group (List.map Box.pic (entry @ exits @ branch))


(* Ternary *)

let ternary = Box.group  [boxes ; arrows]


(* Output pictures *)

let result = ternary
let result = Box.draw result

let _ = Metapost.emit "ternary1" result