SymbolicMatchAnalysis

Type Members

1. trait AbsConst extends AnyRef

2. trait AbsVar extends AnyRef

3. case class AlternativesTreeMaker(prevBinder: Symbol, altss: List[List[TreeMaker]], pos: Position) extends TreeMaker with NoNewBinders with Product with Serializable

4. case class And(a: Prop, b: Prop) extends Prop with Product with Serializable

5. case class AndCond(a: Cond, b: Cond) extends Cond with Product with Serializable

6. case class BodyTreeMaker(body: Tree, matchPt: Type) extends TreeMaker with NoNewBinders with Product with Serializable

7. class CNFBudgetExceeded extends RuntimeException

8. abstract class Cond extends AnyRef

9. abstract class CondTreeMaker extends FunTreeMaker

10. sealed abstract class Const extends AbsConst

    Definition Classes

    SymbolicMatchAnalysis → Logic

11. case class ConstructorExample(cls: Symbol, ctorArgs: List[CounterExample]) extends CounterExample with Product with Serializable

12. class CounterExample extends AnyRef

13. case class Eq(p: Var, q: Const) extends Prop with Product with Serializable

14. class EqualityCond extends Cond

15. case class EqualityTestTreeMaker(prevBinder: Symbol, patTree: Tree, pos: Position) extends CondTreeMaker with Product with Serializable

16. case class ExtractorTreeMaker(extractor: Tree, extraCond: Option[Tree], nextBinder: Symbol, localSubstitution: Substitution, extractorReturnsBoolean: Boolean, checkedLength: Option[Int], prevBinder: Symbol) extends FunTreeMaker with Product with Serializable

    Make a TreeMaker that will result in an extractor call specified by extractor the next TreeMaker (here, we don't know which it'll be) is chained after this one by flatMap'ing a function with binder nextBinder over our extractor's result the function's body is determined by the next TreeMaker in this function's body, and all the subsequent ones, references to the symbols in from will be replaced by the corresponding tree in to

17. abstract type Formula

    Definition Classes

    Logic

18. abstract class FunTreeMaker extends TreeMaker

19. case class GuardTreeMaker(guardTree: Tree) extends TreeMaker with NoNewBinders with Product with Serializable

20. case class ListExample(ctorArgs: List[CounterExample]) extends CounterExample with Product with Serializable

21. type Model = Map[Sym, Boolean]

    Definition Classes

    Logic

22. case class NegativeExample(nonTrivialNonEqualTo: List[Const]) extends CounterExample with Product with Serializable

23. trait NoNewBinders extends TreeMaker

24. class NonNullCond extends Cond

25. case class Not(a: Prop) extends Prop with Product with Serializable

26. case class Or(a: Prop, b: Prop) extends Prop with Product with Serializable

27. case class OrCond(a: Cond, b: Cond) extends Cond with Product with Serializable

28. case class ProductExtractorTreeMaker(prevBinder: Symbol, extraCond: Option[Tree], localSubstitution: Substitution) extends FunTreeMaker with Product with Serializable

29. class Prop extends AnyRef

30. trait PropMap extends AnyRef

31. trait PropTraverser extends AnyRef

32. case class SubstOnlyTreeMaker(prevBinder: Symbol, nextBinder: Symbol) extends TreeMaker with Product with Serializable

33. class Substitution extends AnyRef

34. case class Sym(variable: Var, const: Const) extends Prop with Product with Serializable

35. case class Test(cond: Cond, treeMaker: TreeMaker) extends Product with Serializable

36. abstract class TreeMaker extends AnyRef

37. abstract class TreeMakersToConds extends AnyRef

38. case class TrivialTreeMaker(tree: Tree) extends TreeMaker with NoNewBinders with Product with Serializable

39. case class TupleExample(ctorArgs: List[CounterExample]) extends CounterExample with Product with Serializable

40. class TypeCond extends Cond

41. sealed class TypeConst extends Const

42. case class TypeExample(c: Const) extends CounterExample with Product with Serializable

43. case class TypeTestTreeMaker(prevBinder: Symbol, testedBinder: Symbol, expectedTp: Type, nextBinderTp: Type, pos: Position, extractorArgTypeTest: Boolean) extends CondTreeMaker with Product with Serializable

    implements the run-time aspects of (§8.

44. sealed class ValueConst extends Const

45. case class ValueExample(c: ValueConst) extends CounterExample with Product with Serializable

46. class Var extends AbsVar

    Definition Classes

    SymbolicMatchAnalysis → Logic