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
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
- Value Params
- aggressive
if true and OR space has less than 5 components,
simplify
will collapsesp1 | sp2
tosp1
ifsp2
is a subspace ofsp1
. This reduces noise in counterexamples.
- Inherited from
- SpaceLogic