SpaceEngine

Abstract sealed types, or-types, Boolean and Java enums can be decomposed

Whether the extractor covers the given type

Decompose a type into subspaces -- assume the type can be decomposed

Does the given tree stand for the literal null?

Does the given space contain just the value null?

Is tp1 a subtype of tp2?

Return the space that represents the pattern pat

Space of the pattern: unapplySeq(a, b, c: _*)

Whether the counterexample is satisfiable. The space is flattened and non-empty.

Display spaces

Show friendly type name with current scope in mind

E.g. C.this.B --> B if current owner is C C.this.x.T --> x.T if current owner is C X[T] --> X C --> C if current owner is C !!!

Parameter types of the case class type tp. Adapted from unapplyPlan in patternMatcher

Remove a space if it's a subspace of remaining spaces

Note: dedup will return the same result if the sequence >= 10

Flatten space to get rid of Or for pretty print

Intersection of two spaces

Is a a subspace of b? Equivalent to a - b == Empty, but faster

The space of a not covered by b

Simplify space using the laws, there's no nested union after simplify