Commit ebac74bf authored by Christian Müller's avatar Christian Müller

slightly faster optimization

parent 5a592be2
......@@ -70,7 +70,7 @@ object FOTransformers extends LazyLogging {
// TODO improve runtime
val simp2 = simped.filterNot(c => simped.exists(c2 => {
// check if c is superset of c2
c != c2 && c2.forall(x => c.contains(x))
c != c2 && c.startsWith(c2)
}))
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment