28 lines
538 B
Plaintext
28 lines
538 B
Plaintext
canvas {
|
|
width = 500
|
|
height = 500
|
|
}
|
|
|
|
forall Set x {
|
|
shape x.icon = Circle {}
|
|
shape x.text = Equation {
|
|
string : x.label
|
|
fontSize : "32px"
|
|
}
|
|
ensure contains(x.icon, x.text)
|
|
encourage norm(x.text.center - x.icon.center) == 0
|
|
layer x.text above x.icon
|
|
}
|
|
|
|
forall Set x; Set y
|
|
where SubSet(x, y) {
|
|
ensure disjoint(y.text, x.icon, 10.0)
|
|
ensure contains(y.icon, x.icon, 5.0)
|
|
layer x.icon above y.icon
|
|
}
|
|
|
|
forall Set x; Set y
|
|
where Disjoint(x, y) {
|
|
ensure disjoint(x.icon, y.icon)
|
|
}
|