package example_gen
- Alphabetic
- Public
- All
Type Members
-
abstract
class
CompilationError extends Exception
An exception for signalling compilation errors, caused by errors or unsupported features in the TeSSLa specification, but not for exception raised by a wrongly used API.
An exception for signalling compilation errors, caused by errors or unsupported features in the TeSSLa specification, but not for exception raised by a wrongly used API.
In other words: If you catch an exception of this type, you did not do a mistake.
- class DatastructureSize extends AnyRef
- case class Event(index: Int, stream: StreamId, value: Value) extends Product with Serializable
- case class FunctionId(id: Int) extends Product with Serializable
- class FunctionsAsValue extends CompilationError
- 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
- class LazyArray[+A] extends LazySeq[A]
- trait LazySeq[+A] extends Iterable[A]
- class LazyView[+A] extends LazySeq[A]
-
class
MinExample extends Strategy
Generate an example with AT LEAST the given input.
- class NonObject extends Exception
- class Optimizer extends SolverInterface
- class SimpleStrategy extends Strategy
- class SoftStrategy extends Strategy
- class Solver extends SolverInterface
- sealed abstract class SolverInterface extends AnyRef
- final class Statistics extends AnyRef
- sealed abstract class Strategy extends AnyRef
- class StreamId extends Ordered[StreamId] with Id
- sealed class TestCase extends AnyRef
- case class TestError(time: Int, stream: String, error: String) extends Ordered[TestError] with Product with Serializable
- case class TestEvent(time: Int, stream: String, value: String) extends Ordered[TestEvent] with Product with Serializable
- sealed class TyArray[+T <: Expr] extends AnyRef
- case class TyExpr[+E <: Expr](expr: E, ty: Type) extends Product with Serializable
- class TyExprGen extends AnyRef
- abstract class Type extends Equals
- class UnimplementedCustomOperator extends CompilationError
- class UnimplementedOperator extends CompilationError
- final class UnimplementedPrimOperator extends Exception
- final class UnknownType extends Exception
- final class UnknownValue extends Exception
- class Unsupported extends Exception
- class ValueId extends Ordered[ValueId] with Id
- class WrongOperator extends CompilationError
- 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 EvalError extends Exception
- object GenZ3
- object IterativeStrategy
- object LazySeq
- object Main extends SexyOpt
- object PlainTessla
-
object
Side extends Enumeration
Used for determining the choice within an IfThenElse-Expression.
- object Statistics
-
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.
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 CompilationError
-
object
Unsat extends Strategy
Strategy Unsat never generates a test case and always prints unsat.
- object Util
- object ValueId
- object Z3Helper
- object Z3Object
- object ZEncoding