Added enumeration predicates and conditions#140
Open
jgveire wants to merge 2 commits intoBenMorris:masterfrom
Open
Added enumeration predicates and conditions#140jgveire wants to merge 2 commits intoBenMorris:masterfrom
jgveire wants to merge 2 commits intoBenMorris:masterfrom