Scala implementation of space logic
- Companion
- object
Value members
Concrete methods
Abstract sealed types, or-types, Boolean and Java enums can be decomposed
Abstract sealed types, or-types, Boolean and Java enums can be decomposed
Decompose a type into subspaces -- assume the type can be decomposed
Decompose a type into subspaces -- assume the type can be decomposed
Whether the counterexample is satisfiable. The space is flattened and non-empty.
Whether the counterexample is satisfiable. The space is flattened and non-empty.
Inherited methods
Remove a space if it's a subspace of remaining spaces
Remove a space if it's a subspace of remaining spaces
Note: dedup
will return the same result if the sequence >= 10
- Inherited from
- SpaceLogic
Flatten space to get rid of Or
for pretty print
Flatten space to get rid of Or
for pretty print
- Inherited from
- SpaceLogic
Is a
a subspace of b
? Equivalent to a - b == Empty
, but faster
Is a
a subspace of b
? Equivalent to a - b == Empty
, but faster
- Inherited from
- SpaceLogic
Simplify space using the laws, there's no nested union after simplify
Simplify space using the laws, there's no nested union after simplify
- Inherited from
- SpaceLogic