Packages

p

gapt

utils

package utils

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. sealed trait Doc extends AnyRef
  2. trait ExceptionTag[T] extends AnyRef
  3. trait ExternalProgram extends AnyRef
  4. trait LogHandler extends AnyRef
  5. case class Logger(domain: String) extends Product with Serializable
  6. sealed trait Maybe[+T] extends AnyRef
  7. trait Maybe0 extends AnyRef
  8. trait Maybe1 extends Maybe0
  9. class NameGenerator extends AnyRef
  10. 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()
  11. class TimeOutException extends Exception
  12. case class Tree[+T](value: T, children: Vector[Tree[T]]) extends Product with Serializable

Value Members

  1. object Doc
  2. object EitherHelpers
  3. object LogHandler
  4. object Logger extends LogHandler with Serializable
  5. object Maybe extends Maybe1
  6. object NameGenerator
  7. 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.

  8. object StreamUtils
  9. object Tree extends Serializable
  10. object generatedUpperSetInPO
  11. object help

    Opens the scala documentation in a browser window.

  12. object linearizeStrictPartialOrder
  13. object quiet extends VerbosityChanger
  14. object runProcess
  15. object time
  16. object verbose extends VerbosityChanger
  17. object withTempFile
  18. 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 }

Ungrouped