package example_gen
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- sealed class BoolArray extends TypedArray[BoolExpr]
- case class Event(index: Int, stream: StreamId, value: Value) extends Product with Serializable
- final class GenZ3 extends AnyRef
- class HardStrategy extends Strategy
- trait Id extends Equals
- case class InputTrace(timeStamps: Seq[BigInt], events: Seq[Event]) extends Product with Serializable
- sealed class IntArray extends TypedArray[IntExpr]
- class LazyList[+A] extends AnyRef
-
class
MinExample extends Strategy
Generate an example with AT LEAST the given input.
- class NonObject extends Throwable
- class Optimizer extends SolverInterface
- class SimpleStrategy extends Strategy
- class SoftStrategy extends Strategy
- class Solver extends SolverInterface
- sealed abstract class SolverInterface extends AnyRef
- sealed abstract class Strategy extends AnyRef
- class StreamId extends Ordered[StreamId] with Id
- sealed class TestCase extends AnyRef
- case class TestEvent(time: Int, stream: String, value: String) extends Ordered[TestEvent] with Product with Serializable
- sealed class TyArray extends AnyRef
- case class TyExpr[+E <: Expr](expr: E, ty: Type) extends Product with Serializable
- class TyExprGen extends AnyRef
- abstract class Type extends Equals
- sealed class TypedArray[T <: Expr] extends TyArray
- class UnimplementedOperator extends Throwable
- final class UnimplementedPrimOperator extends Throwable
- final class UnknownType extends Throwable
- final class UnknownValue extends Throwable
- class Unsupported extends Throwable
- class ValueId extends Ordered[ValueId] with Id
- class Z3LazyErr extends AnyRef
- class Z3List extends AnyRef
- class Z3Object extends AnyRef
- class Z3Option extends AnyRef
Value Members
- object Api
- object AssertType extends Enumeration
- object DatastructureSize
- object GenZ3
- object IterativeStrategy
- object LazyList
- object Main extends SexyOpt
- object PlainTessla
-
object
Side extends Enumeration
Used for determining the choice within an IfThenElse-Expression.
-
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.
- object StreamId
- object TraceConverter
- object TyExpr extends Serializable
- object Type
- object TypeInference
- object Unimplemented extends Throwable
-
object
Unsat extends Strategy
Strategy Unsat never generates a test case and always prints unsat.
- object Util
- object ValueId
- object Z3Helper
- object Z3Object