package utils
- Alphabetic
- Public
- All
Type Members
- sealed trait Doc extends AnyRef
- trait ExceptionTag[T] extends AnyRef
- trait ExternalProgram extends AnyRef
- trait LogHandler extends AnyRef
- case class Logger(domain: String) extends Product with Serializable
- sealed trait Maybe[+T] extends AnyRef
- trait Maybe0 extends AnyRef
- trait Maybe1 extends Maybe0
- class NameGenerator extends AnyRef
-
case class
Statistic[T](n: Int, min: T, max: T, avg: BigDecimal, median: BigDecimal, sigma_square: Option[BigDecimal]) extends Serializable with Product
Holds the statistic parameters of a collection of elements of type a numerical type T
Holds the statistic parameters of a collection of elements of type a numerical type T
- T
the type of elements the collection contains
- n
the size of the data
- min
the minimal element
- max
the maximal element
- avg
the average element
- median
the median element
- sigma_square
the square of the standard deviation (only exists for n >= 2)
- Annotations
- @SerialVersionUID()
- class TimeOutException extends Exception
- case class Tree[+T](value: T, children: Vector[Tree[T]]) extends Product with Serializable
Value Members
- object Doc
- object EitherHelpers
- object LogHandler
- object Logger extends LogHandler with Serializable
- object Maybe extends Maybe1
- object NameGenerator
-
object
Statistic extends Serializable
Companion object to Statistic.
Companion object to Statistic. Provides a csv header and convenience methods for statistic options and empty data lists.
- object StreamUtils
- object Tree extends Serializable
- object generatedUpperSetInPO
-
object
help
Opens the scala documentation in a browser window.
- object linearizeStrictPartialOrder
- object quiet extends VerbosityChanger
- object runProcess
- object time
- object verbose extends VerbosityChanger
- object withTempFile
-
object
withTimeout
runs f with timeout to
runs f with timeout to
If f does terminate within to milliseconds returns its result. If not throw a TimeOutException. If f throws an exception it is propagated to the caller of withTimeout.
Use this as follows: try { withTimeout( 1234 ) { ... your code ... } } catch { case e: TimeOutException ... case ... other exception }
This is the API documentation for GAPT.
The main package is gapt.