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 SimpleStrategy
  4. trait Id extends Equals
  5. sealed class IntArray extends TypedArray[IntExpr]
  6. class IterativeStrategy extends SimpleStrategy
  7. class NonObject extends Throwable
  8. class ObjectExpr extends Prim[Expr]
  9. class Prim[E <: Expr] extends TyExpr
  10. class SimpleStrategy extends Strategy
  11. class SoftStrategy extends Strategy
  12. abstract class Strategy extends AnyRef
  13. class StreamId extends Ordered[StreamId] with Id
  14. sealed class TyArray extends AnyRef
  15. abstract class TyExpr extends AnyRef
  16. class TyExprGen extends AnyRef
  17. abstract class Type extends Equals
  18. sealed class TypedArray[T <: Expr] extends TyArray
  19. class UnimplementedOperator extends Throwable
  20. final class UnimplementedPrimOperator extends Throwable
  21. final class UnknownType extends Throwable
  22. final class UnknownValue extends Throwable
  23. class ValueId extends Ordered[ValueId] with Id
  24. class Z3List extends AnyRef

Value Members

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

    Used for determining the choice within an IfThenElse-Expression.

  8. 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.

  9. object StreamId
  10. object TyExprGen
  11. object Type
  12. object TypeInference
  13. object Unimplemented extends Throwable
  14. object ValueId
  15. object Z3Helper

Ungrouped