p

de.uni_luebeck.isp

example_gen

package example_gen

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. sealed class BoolArray extends TypedArray[BoolExpr]
  2. final class GenZ3 extends AnyRef
  3. class HardStrategy extends Strategy
  4. trait Id extends Equals
  5. sealed class IntArray extends TypedArray[IntExpr]
  6. class LazyList[+A] extends AnyRef
  7. class NonObject extends Throwable
  8. class ObjectExpr extends Prim[Expr]
  9. class Optimizer extends SolverInterface
  10. class Prim[E <: Expr] extends TyExpr
  11. class SimpleStrategy extends Strategy
  12. class SoftStrategy extends Strategy
  13. class Solver extends SolverInterface
  14. abstract class SolverInterface extends AnyRef
  15. sealed abstract class Strategy extends AnyRef
  16. class StreamId extends Ordered[StreamId] with Id
  17. sealed class TestCase extends AnyRef
  18. sealed class TyArray extends AnyRef
  19. abstract class TyExpr extends AnyRef
  20. class TyExprGen extends AnyRef
  21. abstract class Type extends Equals
  22. sealed class TypedArray[T <: Expr] extends TyArray
  23. class UnimplementedOperator extends Throwable
  24. final class UnimplementedPrimOperator extends Throwable
  25. final class UnknownType extends Throwable
  26. final class UnknownValue extends Throwable
  27. class ValueId extends Ordered[ValueId] with Id
  28. class Z3List extends AnyRef

Value Members

  1. object Api
  2. object AssertType extends Enumeration
  3. object DatastructureSize
  4. object GenZ3
  5. object IterativeStrategy
  6. object LazyList
  7. object Main extends SexyOpt
  8. object PlainTessla
  9. object Side extends Enumeration

    Used for determining the choice within an IfThenElse-Expression.

  10. object Strategy extends Enumeration

    which kind of solver do we use?

    which kind of solver do we use?

    Hard: Use hard constraints or fail: Fails to generate all combinations if input space is too small, or if combinations are impossible (e.g. merge(x,x) or filter(x, true)). Soft: Use soft constraints. Simple: Don't use constraints.

    We may wont to try out more later, e.g. iterative solvers.

  11. object StreamId
  12. object TyExprGen
  13. object Type
  14. object TypeInference
  15. object Unimplemented extends Throwable
  16. object Unsat extends Strategy

    Strategy Unsat never generates a test case and always prints unsat.

  17. object Util
  18. object ValueId
  19. object Z3Helper

Ungrouped