ptal / Rust.Paper

temporal concurrent constraint language
Apache License 2.0
0 stars 0 forks source link

Compact temporal edges generated by unless #4

Open ptal opened 9 years ago

ptal commented 9 years ago

We should avoid creating a vertex with only a next field. For example, unless {x != z} next next {x = 0} generates a sequential edge between the current node and the "only-next" vertex.